Descripción
Comprueba si la relación es tricotómica
{∀a,b, aRb ⊻ bRa ⊻ a=b}
Cadena de entrada
correl_es_tricotomica
Cadena de salida
CORREL.es_tricotomica
Uso
correl_es_tricotomica(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_tricotomica(correl_desde_pares([1,2,3],[[1,2],[3,2],[3,1]]))
Booleano: verdadero
correl_es_tricotomica(correl_desde_pares([1,2,3],[[1,2],[3,2],[3,1],[1,3]]))
Booleano: falso
Desde / Última modificación
v0.6.2.4
Véase también…