for D being set
for f being XFinSequence of D holds f is PartFunc of NAT,D