contains_clique(g, n): bool = EXISTS (C:finite set[T]) : subset?(C, vert(g)) AND (card(C) > = n) AND (FORALL i, j : ((i /= j) AND C(i) AND C(j)) IMPLIES edge?(g)(i, j));