https://thelogictutorial.blogspot.com/2024/05/cosets-in-discrete-structures-theory-of.html