for S, T being non empty TopSpace
for p being Point of [:S,T:] holds
( p `1 is Point of S & p `2 is Point of T )