У меня тут вышел новый пост со скучным названием "Отношения эквивалентности и разбиения множества в абстрактной алгебре". На самом деле, это довольно важная штука и мы её использовали (хоть и называли так), когда разбирали всякие поля, где строятся эллиптические кривые, и вообще многие принципы в криптографии. Так что можно ознакомиться, просто чтобы составить лучшее представление https://bodrovis.tech/posts/otnosheniya-ekvivalentnosti-razbieniya-mnozhestva-v-abstraktnoy-algebre/