set theory
Basic idea
Foundation of modern math: everything is built from sets and membership (∈). Relations and functions are themselves sets of ordered pairs.
- Membership: x∈A
- Subset: A⊆B⟺∀x.x∈A⇒x∈B
- Union/intersection/difference: A∪B, A∩B, A∖B
- Cartesian product: A×B={(a,b):a∈A,b∈B}
- Relation R on X: R⊆X×X