Математика
Регистрация
Advertisement
Не следует путать с термином «Полное отношение».

Бинарное отношение между двумя множествами называется полным слева, если каждому элементу первого множества соответствует хотя бы один элемент второго множества. Бинарное отношние называется полным справа (или сюръективным), если каждому элементу из второго множества соответствует хотя бы один элемент из первого.

Определения[]

Пусть даны два множества и , и между ними определено бинарное отношение .

  • Тогда называется полным слева, если
  • называется полным справа (или сюръективным), если

Примеры[]

  • Отношение меньше на множестве натуральных чисел не полно слева, ибо не существует числа меньшего, чем
  • Отношение меньше на множестве целых чисел полно и слева, и справа.

См. также[]


Advertisement