Aljabar Heyting
caption: Aljabar Heyting bebas melalui satu generator (alias kekisi Rieger–Nishimura)