A relation is a data structure which consists of a heading and an unordered set of tuples which share the same type.
