Set theory
Binary operations
Total order
Set
Union
Venn diagram
Intersection
Subset
Universe
Mathematics
Mathematical logic
Order theory