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