Function
T-COMPLEMENT
Arity
:
2
Subrelation-Of
:
Topological-relation
Defined in theory:
Topology
Source code:
Topology.lisp