noun A partition of a set into disjoint subsets such that each subset contains an even number of elements, and that if those elements are ordered, they divide the subset into ranges (1st to 2nd element, 3rd to 4th element, and so on) such that no element from another subset appears in any of the ranges.