Järjestatud algebrate injektiivsed katted

Juttu tuleb järjestatud universaalalgebratest. Defineerime lineaarsed termid, lineaarsed funktsioonid ja näitame, kuidas nende abil saab järjestatud algebrale konstrueerida injektiivse katte. Injektiivsuse all mõtleme siin kategooria objekti injektiivsust teatud spetsiifilise monomorfismide klassi suhtes.