Función: ¿Es Relación Reflexiva?Volver

Descripción

Comprueba si la relación es reflexiva

{∀a∈A,aRa}

Cadena de entrada

correl_es_reflexiva

Cadena de salida

CORREL.es_reflexiva

Uso

correl_es_reflexiva(<relacion>)

Valor devuelto

Booleano

Ejemplos

correl_es_reflexiva(correl_desde_pares(['a','b','c'],[['a','a'],['b','b'],['c','c']]))

Booleano: verdadero

correl_es_reflexiva(correl_desde_pares(['a','b','c'],[['a','a'],['b','c'],['c','c']]))

Booleano: falso

Desde / Última modificación

v0.6.2.4

Véase también…