Pokračování univerzální algebry: Birkhoffova věta (a důkaz snadnější implikace), uzavřená třída algeber, volná algebra uzavřené třídy V generovaná množinou X  (dokončení souboru UniverzalniAlgebra3.pdf a prvních 10 stran ze souboru UniverzalniAlgebra4.pdf)