відношення

м, заданим на

предикатом, заданим на множинах А₁, А₂

,..., А

відображенням, заданим на множинах А₁, А₂

,..., А

добутком, заданим на множинах А₁, А₂

,..., А

Dom f = A

Im f=Dom f

Im f = B

Dom f = B

характеристика

множини

предикат

множина

властивість

транзитивність

симетричність

рефлексивність

частковий

порядок

{(2,1), (2,2), (3,1), (3,2), (4,1), (4,2), (4,4)}

{(1,2),

(1,3), (1,4), (2,2), (2,3), (2,4)}

{(1,1), (1,2), (1,3), (2,2), (2,3)}

{(2,1), (2,2), (3,1), (3,2), (4,1), (4,2)}