for T being non empty TopStruct
for x being Point of T holds Chi (x,T) c= Chi T