Algebra of Sets: Set (mathematics), Union (set theory), Intersection Complement Binary relation, Equality (mathematics)

Transitive Closure: Relation, Binary Set (Mathematics), Intersection (Set Theory), Family (Mathematics)

Symmetric Relation: Mathematics, Binary Relation, Set (Mathematics)

Transitive Reduction: Mathematics, Binary Relation, Set (Mathematics), Relation (Mathematics)

Equality (Mathematics): (mathematics), Binary relation, Equivalence Reflexive Symmetric Transitive ... Partially ordered set, Equation