If a bialgebra B admits an antipode S, then S is unique ("a bialgebra admits at most 1 Hopf algebra structure").
Если биалгебра B допускает антипод S, то S единственен («биалгебра допускает самое большее 1 структуру алгебры Хопфа»).