for G being SimpleGraph
for x being set st x in Vertices G holds
{{},{x}} is Clique of G