theory POSET is
   types ELT
   functions < =: ELT ELT ->  BOOLEAN
   vars E1 E2 E3 : ELT
      axioms (E1 < = E1)
             (E1 < = E3 if E1 < = E2 AND E2 < = E3)
             (E1 =  E2 if E1 < = E2 AND E2 < = E1)
end POSET

Contents    Page-10    Prev    Next    Page+10    Index