12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 20:05, 15 November 2012
, 20:05, 15 November 2012→6.31. Relations in General: markup
| <math>L_{x \,\text{at}\, j} = \{ (x_1, \ldots, x_j, \ldots, x_k) \in L : x_j = x \}.\!</math>
| <math>L_{x \,\text{at}\, j} = \{ (x_1, \ldots, x_j, \ldots, x_k) \in L : x_j = x \}.\!</math>
|}
|}
Any property <math>P\!</math> of <math>L_{x \,\text{at}\, j}\!</math> constitutes a ''local incidence property'' of <math>L\!</math> with reference to the locus <math>x \,\text{at}\, j.\!</math>
<pre>
<pre>
Definition. An n place relation R c X1x...xXn is called "P regular at i" iff every flag of R with x at i is P, letting x range over the domain Xi, in symbols, iff P(R&x@i) is true for all x C Xi.
Definition. An n place relation R c X1x...xXn is called "P regular at i" iff every flag of R with x at i is P, letting x range over the domain Xi, in symbols, iff P(R&x@i) is true for all x C Xi.