set B = BooleLatt {};
set e = the Element of (BooleLatt {});
set b = the BinOp of (BooleLatt {});
take QuasiNetStr(# H₁( BooleLatt {}),H₂( BooleLatt {}),H₃( BooleLatt {}), the BinOp of (BooleLatt {}), the Element of (BooleLatt {}) #) ; :: thesis: ( QuasiNetStr(# H₁( BooleLatt {}),H₂( BooleLatt {}),H₃( BooleLatt {}), the BinOp of (BooleLatt {}), the Element of (BooleLatt {}) #) is complete & QuasiNetStr(# H₁( BooleLatt {}),H₂( BooleLatt {}),H₃( BooleLatt {}), the BinOp of (BooleLatt {}), the Element of (BooleLatt {}) #) is Lattice-like )
thus ( QuasiNetStr(# H₁( BooleLatt {}),H₂( BooleLatt {}),H₃( BooleLatt {}), the BinOp of (BooleLatt {}), the Element of (BooleLatt {}) #) is complete & QuasiNetStr(# H₁( BooleLatt {}),H₂( BooleLatt {}),H₃( BooleLatt {}), the BinOp of (BooleLatt {}), the Element of (BooleLatt {}) #) is Lattice-like ) by Th4; :: thesis: verum