L
attice
P
roperties
WellFoundedTransitive
Complete_Lattice_Prop
Conj_Disj
Lattice_Prop
Modular_Distrib_Lattice
Lattice_Ordered_Group