for x being set holds {{},{x}} is SimpleGraph