theorem Th11: :: NOMIN_1:11

for V, A being set holds A c= Union (FNDSC (V,A))