Una relación ternaria R es el subconjunto de los elementos de
que cumplen una determinada condición:
![{\displaystyle R=\{(a_{1},a_{2},a_{3}):\;(a_{1},a_{2},a_{3})\in A_{1}\times A_{2}\times A_{3}\land \ R(a_{1},a_{2},a_{3})=Verdadero\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeedec83c998243a92ee2db0fb56736f44461f9a)
- Dado el conjunto de los números naturales, se define la relación ternaria tal que
-
-
Una relación ternaria homogénea se llama así si para todo se cumple:[1]
- simétrica: .
- simétrica (simétrica): .
- simétrica: .
- Completamente simétrica: , siendo .
- asimétrica: .
- Completamente asimétrica: , siendo .
- Completamente reflexiva: .
- Transitiva: .
- Cíclica: .
- Completa: , siendo .