- Clausura reflexiva
-
Sea R una relación binaria aplicada sobre un conjunto A, la clausura reflexiva o cierre reflexivo de
, denotada
, es la relación reflexiva más pequeña aplicada sobre
que contiene a
.En otras palabras,
es la relación binaria que verifica:
es reflexiva- Si
es una relación reflexiva tal que
, entonces 
Note que si
es reflexiva, entonces
.Cómo calcularla
Si la relación está dada por su matriz booleana asociada, la clausura reflexiva se obtiene completando con 1 la diagonal principal.
1 0 1 0 1 0
0 1 0 1 0 1
1 0 1 0 1 0
0 1 0 1 0 1
1 0 1 0 1 0
0 1 0 1 0 1Esta última sería la matriz asociada la clausura reflexiva. A partir de esta matriz la relación
se construye trivialmente.Véase también
Wikimedia foundation. 2010.