algebra.lattice.BoundedLattice
See theBoundedLattice companion object
trait BoundedLattice[A] extends Lattice[A] with BoundedMeetSemilattice[A] with BoundedJoinSemilattice[A]
A bounded lattice is a lattice that additionally has one element that is the bottom (zero, also written as ⊥), and one element that is the top (one, also written as ⊤).
This means that for any a in A:
join(zero, a) = a = meet(one, a)
Or written using traditional notation:
(0 ∨ a) = a = (1 ∧ a)
Attributes
- Companion:
- object
- Source:
- BoundedLattice.scala
- Graph
- Supertypes
- trait BoundedJoinSemilattice[A]trait BoundedMeetSemilattice[A]trait Lattice[A]trait MeetSemilattice[A]trait JoinSemilattice[A]trait Serializableclass Any
- Known subtypes
- trait BoundedDistributiveLattice[A]trait Heyting[A]trait Bool[A]class BooleanAlgebraclass BoolFromBoolRing[A]class DualBool[A]trait Logic[A]trait DeMorgan[A]class MinMaxBoundedDistributiveLattice[A]
- Self type