theorem Th11: :: AFINSQ_1:12

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