Axiom IV. A set S that can be decomposed into a set of disjoint parts A, B, C, …, each containing at least one element, possesses at least one subset S1 having exactly one element in common with each of the parts A, B, C, … considered. (Zermelo 1908a: 110)