Función: ¿Es Relación Antisimétrica?Volver

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…

¿relación simetrica?, ¿relación asimetrica?