for H being non empty complete Poset holds
( H is Heyting iff ( H is meet-continuous & H is distributive ) )