• Equinumerosity EQN
• Cardinal Number CARD
• Cardinal Successor CSUC
• Aleph Number ALF
• Cardinality CTY
• Cardinal Arithmetic CAR
• Sized Subset SSUB