Descripción
Comprueba si la relación es irreflexiva
{∀a∈A,¬aRa}
Cadena de entrada
correl_es_irreflexiva
Cadena de salida
CORREL.es_irreflexiva
Uso
correl_es_irreflexiva(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_irreflexiva(correl_desde_exp(rango(10),a<b,[a,b]))
Booleano: verdadero
correl_es_irreflexiva(correl_desde_exp(rango(10),a<=b,[a,b]))
Booleano: falso
Desde / Última modificación
v0.6.2.4
Véase también…