A set of vertices in an undirected graph in which there is an edge between every pair of vertices. In other words, a subgraph that is complete.