Showing changes from revision #3 to #4:
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.