Example image of eyePlorer eyePlorer map for 'Absorption law': Algebra Identity (mathematics) Associativity Binary operation Commutativity Set (mathematics) Boolean algebra (structure) Heyting algebra Boolean algebra (logic) Classical logic Logical conjunction Logical disjunction Intuitionistic logic Commutative ring Real number Linear logic Relevance logic Substructural logic Bijection Free variables and bound variables Strong topology (polar topology) Option type Semilattice Variety (universal algebra) Algebraic structure Absorption Lattice (order) Logical connective List of algebraic structures Laws of Form