Jest to relacja pierwotna zachodząca między relacjami tego samego systemu lub między relacjami różnych systemów.

Inaczej nazywana stosunkiem.

Oznaczamy ją symbolem: