- 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.