• Class CLS
• Universal Class V
• Zermelo-Fraenkel Set Theory ZF
• Axiom of Choice AC
• Empty Set EMP
• Set-Builder BLD
• Subset SUB
• Pair PAIR
• Union U
• Singleton SING
• Roster Notation ROST
• Intersection ITSC
• Disjoint Sets DJ
• Disjoint Union DJU
• Set Difference SD
• De Morgan's Laws DMG
• Symmetric Difference SYMD
• Power Set P
• Tuple TUP
• Cartesian Product X