Общее соотношение
- Бинарное отношение R между множествами X и Y является полным, если X равно области {x: существует y с xRy}.
- R называется правильным итогом, если Y равно диапазону {y: есть x с xRy}.
- Область f является всей областью X, следовательно, f является полным отношением.
- Если f является частичной функцией, то область может быть собственным подмножеством X, и в этом случае f не является полным отношением.
- Бинарное отношение считается тотальным по отношению к универсуму дискурса только в том случае, если все в этом универсуме дискурса находится в таком отношении к чему-то еще.
- Общие соотношения могут быть охарактеризованы алгебраически равенствами и неравенствами, включающими в себя состав отношений.
Полный текст статьи: