Formalization of Trellises and Tolerance Relations

The main aim of this article is to construct two non-trivial examples of weakly associative lattices (also known as trellises). These are generalizations of lattices, not assuming associativity of the lattice operations. We show some connections between trellises and tolerance relations according to the paper of Chajda and Zelinka.