EN
This research into the notion of freedom was inspired by the analyses and remarks in Józef Maria Bocheński's works. The elementary expression adopted here is: “x is a result of-an allowed choice-by y in a”, symbolically, xεacr(y,a). The acr functor is a primary functor here and is characterised axiomatically. By definition we shall introduce functor F, which appears in the context xεFa, read as: “x is free-in the realm a”.