Published online by Cambridge University Press: 26 February 2010
An ordered triangle in the plane S2 is defined as a sextuple (PlP2, P3; l1, l2, l3) consisting of three points Pi and three lines lj restricted by the relations of incidence Pi Ì lj (i ¹ j) If we map unrestricted sextuples by the points of a V12—Segre product of six planes—we obtain an image-manifold Ω6 for ordered triangles as the appropriate subvariety of V12. The variety Ω6 possesses an ordinary double threefold ɸ3 whose points map the totally degenerate triangles (i.e. those for which P1 ═ P2 ═ P3 and l1 ═ l2 ═ l3); Ω6 is therefore unsuitable as a basis for the construction of an enumerative calculus for triangles, for equivalence theory is as yet developed satisfactorily only on non-singular varieties.