ハイティング代数
Free Heyting algebra on an arbitrary set of generators.