for T being TopStruct holds {} is Curve of T