bounded-lattice As a command 2 categories below bounded-lattice Narrow by heyting-algebra 1 heyting-algebra 1boolean-algebra