1

Вложения

Вложение — это отображение f:K —→ S, при котором два разных элемента не могут перейти в один и тот же. Другими словами, для вложения f если

f(a) = f(b) то a = b.

Если вложение f:K —→ S является отображением множества камешков в множество стаканов, заданное разложенем камешков в стаканы, то в каждом стакане может быть не более одного камешка.