In mathematics, a representation is a very general relationship that expresses similarities (or equivalences) between mathematical objects or structures. Roughly speaking, a collection Y of mathematical objects may be said to represent another collection X of objects, provided that the properties and relationships existing among the representing objects yi conform, in some consistent way, to those existing among the corresponding represented objects xi. More specifically, given a set Π of properties and relations, a Π-representation of some structure X is a structure Y that is the image of X under a homomorphism that preserves Π. The label representation is sometimes also applied to the homomorphism itself (such as group homomorphism in group theory). Representation theory Perhaps the most well-developed example of this general notion is the subfield of abstract algebra called representation theory, which studies the representing of elements of algebraic structures by linear transformations of vector spaces. Other examples Although the term representation theory is well established in the algebraic sense discussed above, there are many other uses of the term representation throughout mathematics. Graph theory An active area of graph theory is the exploration of isomorphisms between graphs and other structures. A key class of such problems stems from the fact that, like adjacency in undirected graphs, intersection of sets (or, more precisely, non-disjointness) is a symmetric relation. This gives rise to the study of intersection graphs for innumerable families of sets. One foundational result here, due to Paul Erdős and his colleagues, is that every n-vertex graph may be represented in terms of intersection among subsets of a set of size no more than n2/4. Representing a graph by such algebraic structures as its adjacency matrix and Laplacian matrix gives rise to the field of spectral graph theory. Order theory Dual to the observation above that every graph is an intersection graph is the fact that every partially ordered set (also known as poset) is isomorphic to a collection of sets ordered by the inclusion (or containment) relation ⊆. Some posets that arise as the inclusion orders for natural classes of objects include the Boolean lattices and the orders of dimension n. Many partial orders arise from (and thus can be represented by) collections of geometric objects. Among them are the n-ball orders. The 1-ball orders are the interval-containment orders, and the 2-ball orders are the so-called circle orders—the posets representable in terms of containment among disks