Definicja
Jeżeli mamy następujące zbiory oznaczone odpowiednio literami
wówczas relacje między obiektami należącymi do różnych zbiorów (oznaczone symbolem ), nazywamy kodami i oznaczamy .
- Gdy mamy wprowadzone definicje obrazów i oryginałów, wówczas kodami nazywamy relacje między oryginałami a obrazami.