[gcanti]

set theory, equivalence relations, partial and total orders, algebra (monoids, lattices, ...), graphs