Descripción
Devuelve la clausura reflexiva de una relación
Cadena de entrada
correl_clausura_reflexiva
Cadena de salida
CORREL.clausura_reflexiva
Uso
correl_clausura_reflexiva(<relacion>)
Valor devuelto
Diccionario representando a la clausura reflexiva de la relación
Ejemplos
correl_clausura_reflexiva(correl_desde_exp(rango(10),x<y,[x,y]))=correl_desde_exp(rango(10),x<=y,[x,y])
Booleano: verdadero
correl_es_orden_total_estricto(correl_desde_exp(rango(10),x<y,[x,y]))
Booleano: verdadero
correl_es_orden_total_estricto(correl_clausura_reflexiva(correl_desde_exp(rango(10),x<y,[x,y])))
Booleano: falso
Desde / Última modificación
v0.6.2.4
Véase también…