KAHEALUSELISTE ALGEBRATE PÕIMIKKORRUTISED
Tuletatakse meelde rühmade, poolrühmade ja polügoonide põimikkorrutise mõisted. Universaalalgebrate (A,F) ja (B,G) (vaadelduna kloonide täpsusega) põimikkorrutise võttis kautusele J. VaderWerf (1996) aastal. Selle kohaselt on põimikkorrutis selline algebra otsekorrutisel AxB, mille klooni tekitavad antud algebrate n-aarsetest operatsioonidest teatud kindlal viisil moodustatud n-aarsed operatsioonid paaridega. J. VanderWerf lähtus põimikkorrutise mõiste defineerimisel unaarsete tehetega algebrate (mis vastavad polügoonidele üle monoidide) põimikkorrutise mõistest. Analoogiliselt tuuakse sisse kahealuseliste algebrate põimikkorrutise mõiste. Käsitletakse kahealuseliste algebrate põimikkorrutamise vahekorda teiste konstruktsioonidega kahealuselistel algebratel.