Добавил про полукольца там, где они в первый раз появляются.

Author: gsvgit

README.md

@@ -165,6 +165,17 @@ $$
 [. \ ; \ . \ ; \ . \ ; \ . \ ; \ 1  \ ; \ 1  \ ; \ . \ ; \ . \ ; \ 1 \ ; \ . \ ; \ 1 \ ; \ 1]
 $$
 
+Здесь нам впервые потребуется переопределить поэлементные операции для $\otimes$ (в терминах GraphBLAS необходимо сконструировать пользовательское полукольцо).
+
+$$
+\+ \  : \ \textit{bool} \times \textit{bool} \to \textit{bool}
+$$
+$$
+\* \ : \ \textit{User} \times \textit{bool} \to \textit{bool}
+$$
+
+В качестве конкретных реализаций для $+$ можно взять логическое "И", а в качестве $*$ операцию $\textit{second}$ (вернуть второй элемент из пары).
+
 Мы получили не совсем карты, но вектор, который указывает, какие карты нас интересуют. 
 Вспомним, что мы хотим взять только карты "МИР". 
 Для этого снова будем использовать Select, а полученный вектор $\texttt{Filtered-Cards}$ будем использовать как маску, чтобы дополнительно тфильтровать результат.
@@ -238,14 +249,14 @@ $$
 \end{pmatrix}
 $$
 
-Здесь операции $\otimes_1$ и $\otimes_2$ требует задания специфичных поэлементных операций $+$ и $*$ (в терминах GraphBLAS необходимо сконструировать пользовательское полукольцо).
+Здесь операции $\otimes_1$ и $\otimes_2$ также требует задания специфичных поэлементных операций $+$ и $*$.
 Например, для $\otimes_1$:
 
 $$
-\+ : \textit{bool} \times \textit{bool} \to \textit{bool}
+\+ \ : \ \textit{bool} \times \textit{bool} \to \textit{bool}
 $$
 $$
-\* : \textit{bool} \times \textit{EdgeTX} \to \textit{EdgeTX}
+\* \ : \ \textit{bool} \times \textit{EdgeTX} \to \textit{EdgeTX}
 $$
 
 В качестве конкретных реализаций для $+$ можно взять логическое "И", а в качестве $*$ операцию $\textit{second}$ (вернуть второй элемент из пары).