en el que se ha dedinidi una relación binaria formula_1 entre los elementos de A que define un orden parcial, y siendo B en subconjunto de A, definido: