Let $\mathbf{DLat}$ denote the variety of distributive lattices and let $\mathbf{Tos}$ denote the subclass of $\mathbf{DLat}$ consisting of the totally-ordered sets.
Question. Does $\mathbf{Tos}$ generate $\mathbf{DLat}$ as a variety?
Let $\mathbf{DLat}$ denote the variety of distributive lattices and let $\mathbf{Tos}$ denote the subclass of $\mathbf{DLat}$ consisting of the totally-ordered sets.
Question. Does $\mathbf{Tos}$ generate $\mathbf{DLat}$ as a variety?
Copyright © 2021 JogjaFile Inc.