- Не следует путать с термином «Полное отношение».
Бинарное отношение между двумя множествами называется полным слева, если каждому элементу первого множества соответствует хотя бы один элемент второго множества. Бинарное отношние называется полным справа (или сюръективным), если каждому элементу из второго множества соответствует хотя бы один элемент из первого.
Определения[]
Пусть даны два множества и , и между ними определено бинарное отношение .
- Тогда называется полным слева, если
- называется полным справа (или сюръективным), если
Примеры[]
- Отношение меньше на множестве натуральных чисел не полно слева, ибо не существует числа меньшего, чем
- Отношение меньше на множестве целых чисел полно и слева, и справа.
См. также[]
Бинарное отношение
| |
---|---|
между двумя множествами: инъективное · сюръективное · биективное · полное слева · полное справа · функциональное | |
на множестве: рефлексивное · нерефлексивное · симметричное · антисимметричное · асимметричное · транзитивное · полное · евклидово |