Изменения

Перейти к: навигация, поиск

Контексты и синтаксические моноиды

40 байт добавлено, 01:14, 27 ноября 2014
м
Свойства
<br><tex> x \cong y </tex>
<br><tex> \Leftrightarrow </tex>
<br><tex> s \cdot (uxv) = ((s \cdot u) \cdot x) \cdot v = ((s \cdot u) \cdot y) \cdot v = s \cdot (uyv) </tex> (пусть <tex> s \cdot u </tex> равно <tex> q </tex> из определения <tex> \cong </tex>, тогда <tex> (s \cdot u) \cdot x = q \cdot x = q' = q \cdot y = (s \cdot u) \cdot y </tex>)
<br><tex> \Leftrightarrow </tex>
<br><tex> s \cdot (uxv) \in T \Leftrightarrow s \cdot (uyv) \in T </tex>
308
правок

Навигация