The surface relation after the t-chart substitution at the origin and at a unit point is again a surface relation.

Initializing...

The surface relation after the t-chart substitution at the origin and at a unit point is again a surface relation. · Prove2Me