aquí c(.) es el operador de clausura de Kuratowski en "X".