106122

Przykład odwzorowania izomorficznego

Mamy zbiór numerków do szatni (n_t, n₂,... n„) i zachodzącą między nimi relacje "jest mniejszy od".

Mamy zbiór okryć oddawanych do szatni (oi, o₂,.. o„) i zachodzącą między nimi relację "zostało oddane do szatni wcześniej niż".

Jeśli szatniarka przydziela numerki okryciom według kolejności oddawania ich do szatni to:

•    każdy numerek jest przydzielony do jednego okrycia i każde okrycie ma przydzielony jeden numerek;

•    jeśli numerek ⁿi jest mniejszy od numerka ⁿi to okrycie °i, któremu przydzielono numerek "i, zostało oddane do szatni wcześniej niż okrycie °i któremu przydzielono numerek ⁿi.

Jeśli jednak szatniarka będzie wieszała kilka okryć razem (dając im ten sam numerek) to odwzorowanie relacji między numerkami na relację między okryciami będzie homomorficzne.