condiciones, conjunto de las condiciones
Sea una situación quasi-completa.
Un conjunto que pertenece a esta situación es un conjunto de condiciones, indicado ©, si:
a. Ø pertenece a
©, o: el vacío es una condición, la condición vacía.
b. Sobre © existe una relación, indicada ⊂. Leemos π1 ⊂ π2: "π2 domina a π1".
c. Esta relación es un orden, puesto que si π3
domina a π2 y π2 domina a π1 entonces π3 domina a π1.
d. Decimos que dos condiciones son compatibles si están dominadas por una misma tercera. Si no es así, son incompatibles.
e. Toda condición está dominada por dos condiciones incompatibles entre sí.
De hecho las condiciones son a la vez el material para un conjunto genérico e informaciones acerca de ese conjunto. Orden, compatibilidad, etc., son estructuras de informaciones (más precisos, coherentes entre ellos, etc.).
Las condiciones son el esquema ontológico de las indagaciones.
