py-galactic-kernel
0.5.0.dev
Getting started
Install the
GALACTIC
kernel
Learning
Theory
Architecture
Notebooks
Reference
Sets
Relation
Posets
Lattices
Release Notes
0.5.0.dev (2023-03-29)
py-galactic-kernel
Index
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
L
|
M
|
N
|
P
|
R
|
S
|
T
|
U
|
W
_
__and__() (Element method)
(Meetable method)
__contains__() (AbstractFiniteBoundedSet method)
(AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(AbstractFiniteLowerBoundedSet method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFinitePartiallyOrderedSet method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(AbstractFiniteUpperBoundedSet method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
__copy__() (FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
(FiniteReversibleCoveringRelation method)
__eq__() (Element method)
(Joinable method)
(Meetable method)
(PartiallyComparable method)
__ge__() (Element method)
(Joinable method)
(Meetable method)
(PartiallyComparable method)
__gt__() (Element method)
(Joinable method)
(Meetable method)
(PartiallyComparable method)
__hash__() (FrozenFIFOSet method)
__init__() (BinaryTable method)
(DynamicDiagram method)
(FIFOSet method)
(FiniteBinaryRelation method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
(FiniteProjection method)
(FiniteRelation method)
(FiniteReversibleCoveringRelation method)
(FiniteSelection method)
(FiniteSubSet method)
(FiniteUniverse method)
(FrozenFIFOSet method)
(HasseDiagram method)
(IntegerSet method)
(IterativeDiagram method)
(ReducedContextDiagram method)
(SagittalDiagram method)
__iter__() (AbstractFiniteBoundedSet method)
(AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(AbstractFiniteLowerBoundedSet method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFinitePartiallyOrderedSet method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(AbstractFiniteUpperBoundedSet method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
__le__() (Element method)
(Joinable method)
(Meetable method)
(PartiallyComparable method)
__lt__() (Element method)
(Joinable method)
(Meetable method)
(PartiallyComparable method)
__or__() (Element method)
(Joinable method)
A
AbstractBinaryRelation (class in galactic.algebras.relational)
AbstractDirectedAcyclicGraph (class in galactic.algebras.relational)
AbstractEndoRelation (class in galactic.algebras.relational)
AbstractFiniteBinaryRelation (class in galactic.algebras.relational)
AbstractFiniteBoundedSet (class in galactic.algebras.poset)
AbstractFiniteCoveringRelation (class in galactic.algebras.poset)
AbstractFiniteDirectedAcyclicGraph (class in galactic.algebras.relational)
AbstractFiniteEndoRelation (class in galactic.algebras.relational)
AbstractFiniteJoinSemiLattice (class in galactic.algebras.lattice)
AbstractFiniteLattice (class in galactic.algebras.lattice)
AbstractFiniteLowerBoundedJoinSemiLattice (class in galactic.algebras.lattice)
AbstractFiniteLowerBoundedSet (class in galactic.algebras.poset)
AbstractFiniteMeetSemiLattice (class in galactic.algebras.lattice)
AbstractFinitePartiallyOrderedSet (class in galactic.algebras.poset)
AbstractFiniteRelation (class in galactic.algebras.relational)
AbstractFiniteReversibleCoveringRelation (class in galactic.algebras.poset)
AbstractFiniteUpperBoundedMeetSemiLattice (class in galactic.algebras.lattice)
AbstractFiniteUpperBoundedSet (class in galactic.algebras.poset)
AbstractRelation (class in galactic.algebras.relational)
add() (FIFOSet method)
(FiniteBinaryRelation method)
(FiniteRelation method)
add_destination() (GraphRenderer method)
(HasseDiagramRenderer method)
(ReducedContextDiagramRenderer method)
(SagittalDiagramRenderer method)
add_edge() (GraphRenderer method)
(HasseDiagramRenderer method)
(ReducedContextDiagramRenderer method)
(SagittalDiagramRenderer method)
add_source() (GraphRenderer method)
(HasseDiagramRenderer method)
(ReducedContextDiagramRenderer method)
(SagittalDiagramRenderer method)
additem() (FIFOSet method)
atoms (AbstractFiniteLattice property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
attributes() (EdgeRenderer method)
(GraphRenderer method)
(HasseDiagramRenderer method)
(NodeRenderer method)
(ReducedContextDiagramRenderer method)
(SagittalDiagramRenderer method)
B
BinaryTable (class in galactic.algebras.relational)
body (DynamicDiagram property)
bottom (AbstractFiniteBoundedSet property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
bottom() (in module galactic.algebras.poset)
C
CellRenderer (class in galactic.algebras.relational)
clear() (FIFOSet method)
(FiniteBinaryRelation method)
(FiniteRelation method)
co_atoms (AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
co_domain (AbstractBinaryRelation property)
(AbstractDirectedAcyclicGraph property)
(AbstractEndoRelation property)
(AbstractFiniteBinaryRelation property)
(AbstractFiniteBoundedSet property)
(AbstractFiniteCoveringRelation property)
(AbstractFiniteDirectedAcyclicGraph property)
(AbstractFiniteEndoRelation property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteReversibleCoveringRelation property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteBinaryRelation property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
(FiniteReversibleCoveringRelation property)
co_domain_renderer (BinaryTable property)
(ReducedContextDiagram property)
(SagittalDiagram property)
count() (FiniteUniverse method)
cover (AbstractFiniteBoundedSet property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
D
discard() (FIFOSet method)
(FiniteBinaryRelation method)
(FiniteRelation method)
domain (AbstractBinaryRelation property)
(AbstractDirectedAcyclicGraph property)
(AbstractEndoRelation property)
(AbstractFiniteBinaryRelation property)
(AbstractFiniteBoundedSet property)
(AbstractFiniteCoveringRelation property)
(AbstractFiniteDirectedAcyclicGraph property)
(AbstractFiniteEndoRelation property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteReversibleCoveringRelation property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteBinaryRelation property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
(FiniteReversibleCoveringRelation property)
domain_renderer (BinaryTable property)
(HasseDiagram property)
(ReducedContextDiagram property)
(SagittalDiagram property)
DynamicDiagram (class in galactic.algebras.poset)
E
edge_renderer (HasseDiagram property)
(ReducedContextDiagram property)
(SagittalDiagram property)
EdgeRenderer (class in galactic.algebras.relational)
Element (class in galactic.algebras.lattice)
empty (FiniteUniverse property)
extend() (FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
(FiniteReversibleCoveringRelation method)
F
FIFOSet (class in galactic.algebras.set)
FIFOSetFactory (class in galactic.algebras.set)
filter() (AbstractFiniteBoundedSet method)
(AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(AbstractFiniteLowerBoundedSet method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFinitePartiallyOrderedSet method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(AbstractFiniteUpperBoundedSet method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
finish() (DynamicDiagram method)
FiniteBinaryRelation (class in galactic.algebras.relational)
FiniteBinaryRelationFactory (class in galactic.algebras.relational)
FiniteJoinSemiLattice (class in galactic.algebras.lattice)
FiniteLattice (class in galactic.algebras.lattice)
FiniteMeetSemiLattice (class in galactic.algebras.lattice)
FinitePartiallyOrderedSet (class in galactic.algebras.poset)
FiniteProjection (class in galactic.algebras.relational)
FiniteRelation (class in galactic.algebras.relational)
FiniteRelationFactory (class in galactic.algebras.relational)
FiniteReversibleCoveringRelation (class in galactic.algebras.poset)
FiniteSelection (class in galactic.algebras.relational)
FiniteSubSet (class in galactic.algebras.set)
FiniteUniverse (class in galactic.algebras.set)
from_intervals() (FiniteSubSet class method)
from_iterable() (IntegerSet class method)
FrozenFIFOSet (class in galactic.algebras.set)
FrozenFIFOSetFactory (class in galactic.algebras.set)
G
galactic.algebras.lattice
module
galactic.algebras.poset
module
galactic.algebras.relational
module
galactic.algebras.set
module
graph_renderer (HasseDiagram property)
(ReducedContextDiagram property)
(SagittalDiagram property)
GraphRenderer (class in galactic.algebras.relational)
greatest_join_irreducible() (AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
H
HasseDiagram (class in galactic.algebras.poset)
HasseDiagramRenderer (class in galactic.algebras.poset)
I
ideal() (AbstractFiniteBoundedSet method)
(AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(AbstractFiniteLowerBoundedSet method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFinitePartiallyOrderedSet method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(AbstractFiniteUpperBoundedSet method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
index() (FiniteUniverse method)
infimum() (in module galactic.algebras.lattice)
infimum_generators() (in module galactic.algebras.lattice)
IntegerSet (class in galactic.algebras.set)
intervals() (FiniteSubSet method)
(IntegerSet method)
isdisjoint() (AbstractFiniteBinaryRelation method)
(AbstractFiniteBoundedSet method)
(AbstractFiniteCoveringRelation method)
(AbstractFiniteDirectedAcyclicGraph method)
(AbstractFiniteEndoRelation method)
(AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(AbstractFiniteLowerBoundedSet method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFinitePartiallyOrderedSet method)
(AbstractFiniteRelation method)
(AbstractFiniteReversibleCoveringRelation method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(AbstractFiniteUpperBoundedSet method)
(FIFOSet method)
(FiniteBinaryRelation method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
(FiniteProjection method)
(FiniteRelation method)
(FiniteReversibleCoveringRelation method)
(FiniteSelection method)
(FiniteSubSet method)
(FiniteUniverse method)
(FrozenFIFOSet method)
(IntegerSet method)
(IterableSet method)
IterableSet (class in galactic.algebras.set)
IterativeDiagram (class in galactic.algebras.poset)
J
join() (Element method)
(Joinable method)
join_irreducible (AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
Joinable (class in galactic.algebras.lattice)
L
lower_limit() (FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(in module galactic.algebras.poset)
M
maximum (AbstractFiniteBoundedSet property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
meet() (Element method)
(Meetable method)
meet_irreducible (AbstractFiniteLattice property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
Meetable (class in galactic.algebras.lattice)
minimum (AbstractFiniteBoundedSet property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
module
galactic.algebras.lattice
galactic.algebras.poset
galactic.algebras.relational
galactic.algebras.set
move_to_end() (FIFOSet method)
N
Neighbourhood (class in galactic.algebras.poset)
neighbourhoods() (AbstractFiniteCoveringRelation method)
(AbstractFiniteReversibleCoveringRelation method)
(FiniteReversibleCoveringRelation method)
NodeRenderer (class in galactic.algebras.relational)
P
PartiallyComparable (class in galactic.algebras.poset)
parts() (FiniteUniverse method)
pipe() (DynamicDiagram method)
(HasseDiagram method)
pop() (FIFOSet method)
(FiniteBinaryRelation method)
(FiniteRelation method)
popitem() (FIFOSet method)
poset (HasseDiagram property)
predecessors() (AbstractBinaryRelation method)
(AbstractDirectedAcyclicGraph method)
(AbstractEndoRelation method)
(AbstractFiniteBinaryRelation method)
(AbstractFiniteBoundedSet method)
(AbstractFiniteCoveringRelation method)
(AbstractFiniteDirectedAcyclicGraph method)
(AbstractFiniteEndoRelation method)
(AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(AbstractFiniteLowerBoundedSet method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFinitePartiallyOrderedSet method)
(AbstractFiniteReversibleCoveringRelation method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(AbstractFiniteUpperBoundedSet method)
(FiniteBinaryRelation method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
(FiniteReversibleCoveringRelation method)
R
ranges() (FiniteSubSet method)
(IntegerSet method)
reduced_context (AbstractFiniteLattice property)
(FiniteLattice property)
ReducedContextDiagram (class in galactic.algebras.lattice)
ReducedContextDiagramRenderer (class in galactic.algebras.lattice)
relation (BinaryTable property)
(ReducedContextDiagram property)
(SagittalDiagram property)
remove() (FIFOSet method)
(FiniteBinaryRelation method)
(FiniteRelation method)
render() (CellRenderer method)
(DynamicDiagram method)
(HasseDiagram method)
S
SagittalDiagram (class in galactic.algebras.relational)
SagittalDiagramRenderer (class in galactic.algebras.relational)
singletons() (FiniteUniverse method)
sinks (AbstractDirectedAcyclicGraph property)
(AbstractFiniteBoundedSet property)
(AbstractFiniteCoveringRelation property)
(AbstractFiniteDirectedAcyclicGraph property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteReversibleCoveringRelation property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
(FiniteReversibleCoveringRelation property)
smallest_meet_irreducible() (AbstractFiniteLattice method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
source (DynamicDiagram property)
(HasseDiagram property)
(ReducedContextDiagram property)
(SagittalDiagram property)
sources (AbstractDirectedAcyclicGraph property)
(AbstractFiniteBoundedSet property)
(AbstractFiniteCoveringRelation property)
(AbstractFiniteDirectedAcyclicGraph property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteReversibleCoveringRelation property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
(FiniteReversibleCoveringRelation property)
start() (DynamicDiagram method)
step() (DynamicDiagram method)
subsets() (FiniteSubSet method)
successors() (AbstractBinaryRelation method)
(AbstractDirectedAcyclicGraph method)
(AbstractEndoRelation method)
(AbstractFiniteBinaryRelation method)
(AbstractFiniteBoundedSet method)
(AbstractFiniteCoveringRelation method)
(AbstractFiniteDirectedAcyclicGraph method)
(AbstractFiniteEndoRelation method)
(AbstractFiniteJoinSemiLattice method)
(AbstractFiniteLattice method)
(AbstractFiniteLowerBoundedJoinSemiLattice method)
(AbstractFiniteLowerBoundedSet method)
(AbstractFiniteMeetSemiLattice method)
(AbstractFinitePartiallyOrderedSet method)
(AbstractFiniteReversibleCoveringRelation method)
(AbstractFiniteUpperBoundedMeetSemiLattice method)
(AbstractFiniteUpperBoundedSet method)
(FiniteBinaryRelation method)
(FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(FinitePartiallyOrderedSet method)
(FiniteReversibleCoveringRelation method)
supersets() (FiniteSubSet method)
supremum() (in module galactic.algebras.lattice)
supremum_generators() (in module galactic.algebras.lattice)
T
top (AbstractFiniteBoundedSet property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
top() (in module galactic.algebras.poset)
U
universe (FiniteSubSet property)
universes (AbstractBinaryRelation property)
(AbstractDirectedAcyclicGraph property)
(AbstractEndoRelation property)
(AbstractFiniteBinaryRelation property)
(AbstractFiniteBoundedSet property)
(AbstractFiniteCoveringRelation property)
(AbstractFiniteDirectedAcyclicGraph property)
(AbstractFiniteEndoRelation property)
(AbstractFiniteJoinSemiLattice property)
(AbstractFiniteLattice property)
(AbstractFiniteLowerBoundedJoinSemiLattice property)
(AbstractFiniteLowerBoundedSet property)
(AbstractFiniteMeetSemiLattice property)
(AbstractFinitePartiallyOrderedSet property)
(AbstractFiniteRelation property)
(AbstractFiniteReversibleCoveringRelation property)
(AbstractFiniteUpperBoundedMeetSemiLattice property)
(AbstractFiniteUpperBoundedSet property)
(AbstractRelation property)
(FiniteBinaryRelation property)
(FiniteJoinSemiLattice property)
(FiniteLattice property)
(FiniteMeetSemiLattice property)
(FinitePartiallyOrderedSet property)
(FiniteProjection property)
(FiniteRelation property)
(FiniteReversibleCoveringRelation property)
(FiniteSelection property)
upper_limit() (FiniteJoinSemiLattice method)
(FiniteLattice method)
(FiniteMeetSemiLattice method)
(in module galactic.algebras.poset)
W
whole (FiniteUniverse property)