\{a, b\} \subset \mathbb{N}