Инъективное отношение в теории множеств это бинарное отношение, при котором разным элементам одного множества всегда сответствуют разные элементы другого множества.
Определение[]
Пусть дано множество и на нём определено бинарное отношение Тогда называется инъективным, если
Примеры[]
- Отношение на числовой прямой не является инъектвным, ибо, например,
- и но
- Инъективная функция является примером инъективного отношения.
Бинарное отношение
| |
---|---|
между двумя множествами: инъективное · сюръективное · биективное · полное слева · полное справа · функциональное | |
на множестве: рефлексивное · нерефлексивное · симметричное · антисимметричное · асимметричное · транзитивное · полное · евклидово |