Coba jelasin Contoh dari Aljabar Heyting dong

Diberikan aljabar Heyting H dan setiap subaljabar H1, pemetaan inklusi  adalah morfisme.

Untuk setiap aljabar Heyting H, peta  didefinisikan morfisme dari H ke aljabar Boolean dari elemen reguler Hreg. Ini adalah secara umum bukan sebuah morfisme dari H ke sendiri, karena operasi gabungan dari Hreg mungkin berbeda dari H.