Changes

|}

|}

In the case of a 2-adic relation <math>L \subseteq X_1 \times X_2 = X \times Y,</math> it is possible to simplify the notation for local flags in a couple of ways.  First, it is often easier in the 2-adic case to refer to <math>L_{u \,\text{at}\, 1}</math> as <math>L_{u \,\text{at}\, X}</math> and <math>L_{v \,\text{at}\, 2}</math> as <math>L_{v \,\text{at}\, Y}.</math>  Second, the notation may be streamlined even further by writing <math>L_{u \,\text{at}\, 1}</math> as <math>u \cdot L</math> and <math>L_{v \,\text{at}\, 2}</math> as <math>L \cdot v.</math>

In the case of a 2-adic relation <math>L \subseteq X_1 \times X_2 = X \times Y,</math> it is possible to simplify the notation for local flags in a couple of ways.  First, it is often easier in the 2-adic case to refer to <math>L_{u \,\text{at}\, 1}</math> as <math>L_{u \,\text{at}\, X}</math> and <math>L_{v \,\text{at}\, 2}</math> as <math>L_{v \,\text{at}\, Y}.</math>  Second, the notation may be streamlined even further by writing <math>L_{u \,\text{at}\, 1}</math> as <math>u \star L</math> and <math>L_{v \,\text{at}\, 2}</math> as <math>L \star v.</math>

In light of these considerations, the local flags of a 2-adic relation <math>L \subseteq X \times Y</math> may be formulated as follows:

In light of these considerations, the local flags of a 2-adic relation <math>L \subseteq X \times Y</math> may be formulated as follows:

|

|

<math>\begin{array}{lll}

<math>\begin{array}{lll}

u \cdot L

u \star L

& = &

& = &

L_{u \,\text{at}\, X}

L_{u \,\text{at}\, X}

\text{the set of all ordered pairs in}~ L ~\text{incident with}~ u \in X.

\text{the set of all ordered pairs in}~ L ~\text{incident with}~ u \in X.

\\[9pt]

\\[9pt]

L \cdot v

L \star v

& = &

& = &

L_{v \,\text{at}\, Y}

L_{v \,\text{at}\, Y}