A data type each of whose members is composed of multiple data items. For example, a data type called PAIRS whose members are ordered pairs (xJ).