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: