for x being set holds CompleteSGraph {x} = {{},{x}}