Descripción
Comprueba si la relación es antisimétrica
{∀a,b, aRb∧bRa→a=b}
Cadena de entrada
correl_es_antisimetrica
Cadena de salida
CORREL.es_antisimetrica
Uso
correl_es_antisimetrica(<relacion>)
Valor devuelto
Booleano
Ejemplos
correl_es_antisimetrica(correl_desde_exp(rango(10),a<=b,[a,b]))
Booleano: verdadero
correl_es_antisimetrica(correl_desde_pares(['a','b','c'],[['a','b'],['b','a']]))
Booleano: falso
Desde / Última modificación
v0.6.2.4
Véase también…