Теория на алгоритмите
Carriers представлява семейство от множества (Ci), наричани носители на
алгебрата, и отбелязвани с carriers = { C0, C1, ... , Ck-1 }; operations е множеството от операции на алгебрата, като всяка операция, елемент на това множество...