Předkládáme algoritmus, který umožňuje konstrukci volné algebry nad danou konečnou částečnou algebrou.