Showing changes from revision #2 to #3:
Added | Removed | Changed
A -complete lattice is a lattice with
a function
a family of dependent terms
a family of dependent terms
representing that denumerable/countable joins exist in the lattice.