for D being set holds {} is XFinSequence of D