Note on equality of propositions added, Heyting algebra and complement in a lattice briefly introduced.