12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday May 08, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 2 (view source)
Revision as of 17:49, 10 September 2010
, 17:49, 10 September 2010→2.4.2. Derived Equivalence Relations: reconcile versions
<br>
<br>
Recall the definition of <math>\operatorname{Den} (L),</math> the denotative component of <math>L,\!</math> in the following form:
Recall the definition of <math>\operatorname{Den}(L),</math> the denotative component of <math>L,\!</math> in the following form:
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>\operatorname{Den} (L) ~=~ L_{OS} ~=~ \{ (o, s) \in O \times S ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \}.</math>
| <math>\operatorname{Den}(L) ~=~ L_{OS} ~=~ \{ (o, s) \in O \times S ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \}.</math>
|}
|}
