theorem Lemma: :: ROUGHS_4:1

for T being set
for F being Subset-Family of T holds F = { B where B is Subset of T : B in F }