for x being set
for T being Tree st x in T holds
x is FinSequence of NAT