The term discriminated union may refer to: