Собственное надмножество (подмножество)

последовательность n независимых испытаний, каждое с двумя исходами ("успех" - "неудача"), вероятности которых (p,q) не меняются от испытания к испытанию

для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)

множество, в котором не существует связного подмножества, содержащего более одной точки