Fixed Points Theorems for Non-Transitive Relations (Logical Methods in Computer Science, 2022)