Clausura de relación

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


Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.