complete lattice homomorphism
Complete lattice homomorphism is a function from one lattice![]()
to an other lattice, which preserves arbitrary (not only finite) meets and joins.
If is lattice homomorphism![]()
between complete
lattices and such that
- •
, and
- •
,
then is called a complete lattice homomorphism.
Most often are considered complete lattice homomorphisms from one complete lattice![]()
to an other complete lattice (that is when all meets and joins are defined).
Complete lattice homomorphism is a special case of lattice homomorphism.