元の族の\Lambdaの各元\lambdaにおいてとる値がそれぞれ１つの集合であるようなものを、

\Lambdaで添字付けられた

集合族という