MDLD/family of subsets

Start=family of subsets Target=Set theory/Indexed family of sets/Definition