For any two sets A and B, there is a set containing exactly A and B

Every set can be paired with an integer

No two sets are identical

Every relation can be decomposed into pairs