Frame homomorphism
= Frame homomorphism
{title2=$h:A\to B$}
A map between <frames> preserving every <join> and every finite <meet>, including the empty join $0$ and empty meet $1$. Such a map is automatically order-preserving. Inverse image under a <continuous map> is an example.