Since R is left-total, it is always possible to construct an infinite path through the Kripke structure.
Keďže je relácia R zľava úplná, je vždy možné nájsť v danej Kripkeho štruktúre nekonečnú cestu.