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


 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia