instigate::algebra::commutativity_addition Namespace Reference

Commutativity Addition Concept. More...

Classes
struct	tag
	Additive Commutative Concept tag. More...
struct	interface
	Interface of the Additive Commutative Concept. More...
struct	requirements
	Requirements of the Commutativity Addition Concept. More...

---

Detailed Description

Commutativity Addition Concept.

Commutativity Addition is the ability to change the order of something without changing the end result. It is a fundamental property of many operations throughout mathematics, and many proofs depend on it.