Definition. pair_eq
(x, y) = {{x}, {x, y}}