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