where x, r, c = 0, ..., (N − 1) and T is the ternary operator of the planar ternary ring. For example, for we can use the symbols {0, 1} associated with the finite field of order 2. The ternary operation defined by with the operations on the right being the multiplication and addition in the field yields the following: One line [∞] = { (∞), (0), (1)}, 2 lines [c] = {(∞), (c,0), (c,1) : c = 0, 1}, [0] = {(∞), (0,0), (0,1) } [1] = {(∞), (1,0), (1,1) } 4 lines [r, c]: (r) and the points (i, ir + c), where i = 0, 1 : r, c = 0, 1. [0,0]: {(0), (0,0), (1,0) } [0,1]: {(0), (0,1), (1,1) } [1,0]: {(1), (0,0), (1,1) } [1,1]: {(1), (0,1), (1,0) } Degenerate planes Degenerate planes do not fulfill the third condition in the definition of a projective plane. They are not structurally complex enough to be interesting in their own right, but from time to time they arise as special cases in general arguments. There are seven kinds of degenerate plane according to . They are: the empty set; a single point, no lines; a single line, no points; a single point, a collection of lines, the point is incident with all of the lines; a single line, a collection of points, the points are all incident with the line; a point P incident with a line m, an arbitrary collection of lines all incident with P and an arbitrary collection of points all incident with m; a point P not incident with a line m, an arbitrary (can be empty) collection of lines all incident with P and all the points of intersection of these lines with m. These seven cases are not independent, the fourth and fifth can be considered as special cases of the sixth, while the second and third are special cases of the fourth and fifth respectively. The special case of the seventh plane with no additional lines can be seen as an eighth plane. All the cases can therefore be organized into two families of degenerate planes as follows (this representation is for finite degenerate planes, but may be extended to infinite ones in a natural way): 1) For any number of points P1, ..., Pn, and lines L1, ..., Lm, L1 = { P1, P2, ..., Pn} L2