Let the sets F2 and G3 of the two- and three-dimensional objects be given, as well as the reconstruction of the third dimension,
K2,3: F2 G3
Then a twodimensional object f in F2 is an impossible object, if
K2,3(f) is not in G3,
i.e., if there exists no three-dimensional object which, being projected on the plane, yields the figure f. Vice versa, a possible object always is a projection of a three-dimensional object.