Definition of union.