Светлый фон
H C M H M M М Н

Мы поступим так. Множество M разобьём на два непересекающихся множества A и B: M = AB, а множество МН на два непересекающихся множества K и L: МН = KL. Затем установим два взаимно однозначных соответствия: соответствие η между A и K и соответствие θ между B и L. При этом автоматически возникнет соответствие между множеством AB, равным M, и множеством KL, равным МН, каковое соответствие, в силу того что A не пересекается с B, а K не пересекается с L, будет взаимно однозначным.

M A B: M A B М Н K L: М Н K