SubsetLattice(S, top)¶

logic.spad line 2039 [edit on github]

S: SetCategory
top: List S

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