Class SetJoinSemilattice<T>

Implementation of a join semilattice for sets.

Type Parameters

T
The type of elements in the sets.

Implements

JoinSemilattice<Set<T>>

Index

Constructors

Methods

bottom join leq

Constructors

constructor

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

Methods

bottom

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

Returns Set<T>
Implementation of JoinSemilattice.bottom
- Defined in src/internals/lattice/common.ts:84

join

join(a, b): Set<T>
Joins two sets by union.
Parameters
- a: Set<T>
- b: Set<T>
Returns Set<T>
Implementation of JoinSemilattice.join
- Defined in src/internals/lattice/common.ts:77

leq

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