Cтраница 2
Так как он вполне характеристичен, то ( U №, U) является кортежем тождеств для некоторого многообразия X. В общем случае ( см. § 13) W может быть строго меньше W. Сопоставление равенств (14.1) и (14.2) показывает, что для биавтомата Atm l ( A, В) имеет место равенство W W. [16]