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