Descripción
Comprueba si la relación es un preorden(reflexiva y transitiva)
Cadena de entrada
correl_es_preorden
Cadena de salida
CORREL.es_preorden
Uso
correl_es_preorden(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_preorden(correl_desde_exp(rango(100),x<=y,[x,y]))
Booleano: verdadero
Desde / Última modificación
v0.6.2.4
Véase también…