集合の添字族を話題の中心として、「タプル型とタプル構成」の双対概念である「ユニオン型とコタプル構成」について説明します。内容： 集合の添字族 集合族のcase文による構成 集合族の逆像による構成 総積／総和と非空条件について コタプル構成 集合の添…