Изменения

|statement = Класс <tex>R = R_1 \cup R_2</tex> и <tex>R_1 \cap R_2 = \varnothing</tex>, тогда разбиение всех классов (текущее разбиениетекущего разбиения) по символу <tex>a</tex> любыми двумя классами из <tex>R, R_1, R_2</tex> эквивалентно разбиению всех классов с помощью по символу <tex>R, R_1, R_2a</tex> по символу всеми тремя классами <tex>aR, R_1, R_2</tex>.