Descripción
Comprueba si la relación es de orden parcial estricto
Cadena de entrada
correl_es_orden_parcial_estricto
Cadena de salida
CORREL.es_orden_parcial_estricto
Uso
correl_es_orden_parcial_estricto(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_orden_parcial_estricto(correl_desde_exp(rango(1,11),and(b%a=0,a!=b),[a,b]))
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 parcial?,