-- the maximalComplex contains this complex<br/>{superComplex-#gt;contains(maximalComplex)}<br/>-- a maximal complex is contained only in itself<br/>{(self = maximalComplex) implies (superComplex = {self}) }<br/>{isMaximal() implies (self = maximalComplex)}<br/>