컴퓨터 科學 에서 유니언 ( 英語 : Union )는 같은 메모리 住所 안에서 여러 形式을 가질 수 있는 값을 가리킨다. 一部 프로그래밍 言語 는 이러한 값을 支援하기 위한 特別한 資料型 을 가지고 있는데, 이것을 共用體( 英語 : union type )라 부른다. 共用體는 타입 理論 에서 合타입( 英語 : sum type )을 가리키며, 數學에서의 分離 合集合 ( 英語 : disjoint union )과 같은 것이다.

이 글은 컴퓨터 科學에 關한 토막글 입니다. 여러분의 知識으로 알차게 文書를 完成해 갑시다.