Nuprl Definition : dlattice-eq

dlattice-eq(X;as;bs) ==  as ⇒ bs ∧ bs ⇒ as


Definitions occuring in Statement :  dlattice-order: as ⇒ bs,  and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q,  dlattice-order: as ⇒ bs
FDL editor aliases :  dlattice-eq
Latex:
dlattice-eq(X;as;bs)  ==    as  {}\mRightarrow{}  bs  \mwedge{}  bs  {}\mRightarrow{}  as


Date html generated: 2020_05_20-AM-08_26_40
Last ObjectModification: 2017_01_21-PM-04_01_17

Theory : lattices


Home Index