集合族
任意の集合 I を添字集合とする添字付けられた集合族とは、任意の i ∈ I に対して集合 Ai が割り当てられた族 {Ai}i∈I を言う。十分大きな集合(たとえば普遍集合)Ω を取れば、写像 I → P(Ω); i ↦ Ai として記述することもできる。