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.