Clausura de relación

De Wikipedia, la enciclopedia libre
Esta es la versión actual de esta página, editada a las 07:26 20 sep 2019 por Aosbot (discusión · contribs.). La dirección URL es un enlace permanente a esta versión.
(difs.) ← Revisión anterior · Ver revisión actual (difs.) · Revisión siguiente → (difs.)

En matemática, sea una relación sobre un conjunto , la clausura o cierre de es la menor relación que contiene a y cumple con una propiedad dada. Tales propiedades pueden ser la transitividad, reflexividad o simetría, en cuyo caso la clausura se llama, respectivamente, clausura transitiva (CT()), reflexiva (CR()) o simétrica (CS()).

Cada una de estas clausuras C() verifica:

  1. es transitiva (reflexiva, simétrica)
  2. Si es una relación transitiva (reflexiva, simétrica) tal que , entonces