## Discrete Knotted Surfaces

If G is a d-manifold and is an arbitrary map, the discrete Sard theorem tells that is an open set in G that is a (d-k)-manifold. We mean with that the graph encoding the incidence of the sets in H is a (d-k) manifold. The sub-manifold H of K is …