https://thelogictutorial.blogspot.com/2024/04/operations-on-relations-in-discrete.html