単一射Heyting代数実例