Changes

Each point in <math>X\!</math> may also be described by means of its ''coordinates'', that is, by the ordered pair of values in <math>\mathbb{B}</math> that the coordinate propositions <math>u\!</math> and <math>v\!</math> take on that point.  This form of representation leads to the following enumeration of points:

Each point in <math>X\!</math> may also be described by means of its ''coordinates'', that is, by the ordered pair of values in <math>\mathbb{B}</math> that the coordinate propositions <math>u\!</math> and <math>v\!</math> take on that point.  This form of representation leads to the following enumeration of points:

{| align="center" cellpadding="8"

{| align="center" cellpadding="8" style="text-align:center"

| <math>X \quad = \quad \{\ (0, 0),\ (0, 1),\ (1, 0),\ (1, 1)\ \} \quad \cong \quad \mathbb{B}^2.</math>

| <math>X\!</math>

| <math>=\!</math>

| <math>\{\ (0, 0),\ (0, 1),\ (1, 0),\ (1, 1)\ \}</math>

| <math>\cong\!</math>

| <math>\mathbb{B}^2.</math>

|}

|}