Class SetMeetSemilattice<T>

Implementation of a meet semilattice for sets.

Type Parameters

T
The type of elements in the sets.

Implements

MeetSemilattice<Set<T>>

Index

Constructors

Methods

Constructors

constructor

new SetMeetSemilattice<T>(): SetMeetSemilattice<T>
Type Parameters
- T
Returns SetMeetSemilattice<T>

Methods

leq

leq(a, b): boolean
Reverse subset relation: a ≤ b iff b ⊆ a
Parameters
- a: Set<T>
- b: Set<T>
Returns boolean
Implementation of MeetSemilattice.leq
- Defined in src/internals/lattice/common.ts:119

meet

meet(a, b): Set<T>
Meets two sets by intersection.
Parameters
- a: Set<T>
- b: Set<T>
Returns Set<T>
Implementation of MeetSemilattice.meet
- Defined in src/internals/lattice/common.ts:105

top

top(): Set<T>
Returns the top element: empty set.

Returns Set<T>
Implementation of MeetSemilattice.top
- Defined in src/internals/lattice/common.ts:112