n (set theory) A set containing exactly two elements in a fixed order, so that, when the elements are different, exchanging them gives a different set. Notation: (a, b) or \langle a, b\rangle.