for T being binary Tree
for n being Nat
for t being Element of T st t in T -level n holds
t is Element of n -tuples_on BOOLEAN