|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
UnionSetLattice
defines a set lattice with elements of type L
and with union as least-upper-bound operator.UnionSetLattice
using the IdentityEqualitor
as equalitor used for element equality.
UnionSetLattice
using the equalitor
as
Equalitor
used for element equality.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |