SubsetLattice(S, top)

logic.spad line 2033 [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

coerce : % -> OutputForm: from CoercibleTo(OutputForm)

complement : % -> %: pseudo complement

complement : (%, List(S)) -> %: pseudo complement

latex : % -> String: from SetCategory

subsetLattice : List(S) -> %: construct subset lattice element

~= : (%, %) -> Boolean: from BasicType

CoercibleTo(OutputForm)