SubsetLattice(S, top)

logic.spad line 2037 [edit on github]

Implementation of subset logic. implements pseudo complement subset of powerset related to ‘containment order’ REP holds a single node and complete set (representing ‘top’) Date Created: Oct 2015

/\: (%, %) -> %

from MeetSemilattice

=: (%, %) -> Boolean

from BasicType

\/: (%, %) -> %

from JoinSemilattice

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

complement: % -> %

pseudo complement

complement: (%, List S) -> %

pseudo complement

latex: % -> String

from SetCategory

subsetLattice: List S -> %

construct subset lattice element

BasicType

CoercibleTo OutputForm

JoinSemilattice

Lattice

MeetSemilattice

SetCategory