- SUBSET OPERATION is bounded lattice
UPPER BOUND = S (set itself)
LOWER BOUND = Phi (empty set)
LATTICE means only that EVRY TWO ELEMENTS SHOULD have glb and lub. WE WILL FIND THAT EACH SET has a lub and glb.
BUT FOR TOSET, we need FOR EVERY ELEMENT IN DOMAIN (a,b) , either (a,b) or (b,a) is in LATTICE.
- UNBOUNDED TOSET
LOWER BOUND => UNDEFINED tending to[ -infinity] (every integer has an lesser element)
UPPER BOUND => UNDEFINED tends to [ +infinity] (every integer has an lesser element)
HERE EVERY ELEMENT IS COMPARABLE. SO TOSET