Соответствия a, b, r

4. n-местные отношения

Пусть R Í A ´ A. Соответствие R называется:

• рефлексивным, если для

• антирефлексивным (для )

• симметричным, если

• антисимметричным, если

• асимметричным, если R Ç R#  = Æ;

• транзитивным, если

Отношение R называется:

a) эквивалентностью, если оно рефлексивно, симметрично и транзитивно

b) толерантностью, если оно рефлексивно и симметрично;

c) предпорядком, если оно рефлексивно и транзитивно;

d) порядком, если оно транзитивно и антисимметрично.