Content deleted Content added
No edit summary |
|||
Line 45:
: {{math|''e''[''e′''/ε] ≡ ''e′''}}
: {{math|''e''[''e′''/''i''.''p''] ≡ <''Ω'' ''e''<sub>1</sub> … ''e''<sub>''i''</sub>[''e′''/''p''] … ''e''<sub>''n''</sub>>}} if {{math|''e'' ≡ <''Ω'' ''e''<sub>1</sub> … ''e''<sub>''i''</sub> … ''e''<sub>''n''</sub>>}} else undefined, for all operators {{mvar|Ω}} and expressions {{mvar|e}}<sub>1</sub>, …, {{mvar|e}}<sub>{{mvar|n}}</sub>.
''Example.'' — If {{math|''e'' ≡ (+ (* ''e''<sub>1</sub> ''e''<sub>1</sub>) (* ''e''<sub>2</sub> ''e''<sub>2</sub>))}} then {{math|''e''[''e''<sub>3</sub>/2.1] ≡ (+ (* ''e''<sub>1</sub> ''e''<sub>1</sub>) (* ''e''<sub>3</sub> ''e''<sub>2</sub>))}}.
Position {{mvar|p}} is ''purely referential'' in expression {{mvar|e}} is defined by
| |||