We now state the proposition Let S , T be non empty reflexive relational structures. Then T is inf-complete. Let S be an inf-complete non empty reflexive relational structure. One can verify that the relational structure of S is inf-complete. Let S , T be inf-complete non empty reflexive relational structures.
T be non empty reflexive relational structures.
Let S , T be complemented bounded antisymmetric non empty relational structures with g.l.b.'s and l.u.b. The following proposition is true Let S , T be bounded antisymmetric relational structures with g.l.b.'s and l.u.b. Let S , T be distributive antisymmetric non empty relational structures with g.l.b.'s and l.u.b. Let S be an antisymmetric relational structure with g.l.b.'s and l.u.b. Let S be a reflexive antisymmetric relational structure with g.l.b.'s and l.u.b.