GRAPH

Definition An object is a <GRAPH> if and only if it: it is a <STRUCTURE(math)>; it consists of: a <PRINCIPAL SET> (called the vertices); a set of relationships between members of the <PRINCIPAL SET> (called the edges)