Descripción
Comprueba si la relación es de orden total estricto
Cadena de entrada
correl_es_orden_total_estricto
Cadena de salida
CORREL.es_orden_total_estricto
Uso
correl_es_orden_total_estricto(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_orden_total_estricto(correl_desde_exp(rango(100),x<y,[x,y]))
Booleano: verdadero
Desde / Última modificación
v0.6.2.4
Véase también…
¿relación reflexiva?, ¿relación antisimétrica?, ¿relación transitiva?, ¿relación es orden total?