Descripción
Comprueba si la relación es transitiva
{∀a,b,c, aRb∧bRc→aRc}
Cadena de entrada
correl_es_transitiva
Cadena de salida
CORREL.es_transitiva
Uso
correl_es_transitiva(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_transitiva(correl_desde_pares(['a','b','c'],[['a','b'],['b','c'],['a','c']]))
Booleano: verdadero
correl_es_transitiva(correl_desde_pares(['a','b','c'],[['a','b'],['b','c'],['c','a']]))
Booleano: falso
Desde / Última modificación
v0.6.2.4
Véase también…