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

Descripción

Comprueba si la relación es simétrica

{∀a,b, aRb→bRa}

Cadena de entrada

correl_es_simetrica

Cadena de salida

CORREL.es_simetrica

Uso

correl_es_simetrica(<relacion>)

Valor devuelto

Booleano

Ejemplos

correl_es_simetrica(correl_desde_exp(rango(100),abs(a-b)=3,[a,b]))

Booleano: verdadero

correl_es_simetrica(correl_desde_exp(rango(100),a-b=3,[a,b]))

Booleano: falso

Desde / Última modificación

v0.6.2.4

Véase también…

¿relación antisimetrica?, ¿relación asimetrica?, ¿relación reflexiva?, ¿relación transitiva?