https://thelogictutorial.blogspot.com/2024/04/recursive-definition-of-relation.html