완전 그래프: 두 판 사이의 차이

[[그래프 이론]]에서 '''완전 그래프'''(完全graph, {{llang|en|complete graph}})는 그래프가 유일한 꼭지점에서 변이 없는 그래프이거나 서로 다른 두 개의 꼭짓점이 반드시 하나의 변으로 연결된 그래프이다.

 

== 정의 ==

(단순) [[그래프]]의 범주 <math>\operatorname{Graph}</math> 위에, 그래프를 그 꼭짓점 집합으로 대응시키는 망각 [[함자 (수학)|함자]] <math>V\colon\operatorname{Graph}\to\operatorname{Set}</math>가 존재한다. 이 함자는 [[오른쪽 수반 함자]]를 갖는다.