Китайская теорема об остатках
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
соответствие, являющееся одновременно однозначным, инъективным и сюръективным; отображение, являющееся одновременно инъекцией и сюръекцией; обозначается X ↔ Y (читается: биекция между множествами X и Y)
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
цепь, не содержащая цикла (т. е. все ее вершины различны)
процесс составления или вычисления суммы