:: deftheorem defines canCompleteGraph GLIB_016:def 2 :
for c being non empty Cardinal holds canCompleteGraph c = createGraph (c,((RelIncl c) \ (id c)));