Sea
una relación binaria aplicada sobre un conjunto
, 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:
![{\displaystyle {\mathcal {R}}\subseteq CR({\mathcal {R}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d085d9cc5570cf2006debefc62317c9a8152833)
es reflexiva - Si
es una relación reflexiva tal que
, entonces ![{\displaystyle CR({\mathcal {R}})\subseteq {\mathcal {R}}'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dab5eee69f3ca1fcd60c0ec1b98c05e1fb65a644)
Nótese 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 1
Esta última sería la matriz asociada la clausura reflexiva. A partir de esta matriz la relación
se construye trivialmente.
Ejemplo
Como ejemplo, si
entonces la relación
ya es reflexiva en sí misma, por lo que no difiere de su cierre reflexivo.
Sin embargo, si alguno de los pares en
estuviera ausente, se insertaría para el cierre reflexivo. Por ejemplo, si en el mismo conjunto
entonces el cierre reflexivo es
Véase también
Control de autoridades | - Proyectos Wikimedia
Datos: Q1637549 |
---|
Datos: Q1637549