algebraické systémy ternární