Description: Define the class of all complete "graphs". A class/graph is called
complete if every pair of distinct vertices is connected by an edge,
i.e., each vertex has all other vertices as neighbors or, in other words,
each vertex is a universal vertex. (Contributed by AV, 24-Oct-2020)(Revised by TA, 15-Feb-2022)