Clausura reflexiva
De Wikipedia, la enciclopedia libre
Clausura reflexiva es la menor relación reflexiva que contiene a la dada. Si la relación es reflexiva, es su propia clausura transitiva. Si la relación está dada por una matriz booleana, la clausura reflexiva se obtiene completando con 1 la diagonal principal.
[editar] Definición y Ejemplos
Cerradura o clausura reflexiva
Sea R una relación en un conjunto A Una cerradura reflexiva ref(R) de R en A es la “menor” relación que la incluye y que es reflexiva, con símbolos:
(∀ R’ reflexiva) (A ⊆ R’ ⊆ ref(R)) ⇒ R’ = ref(R))
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
