Ну предпорядки это же типичные функции, рассмотрите вложения (инъекции) множеств друг в друга, а потом объявите их эквивалентными, равными друг другу.
Мне кажется, что мешает больше не аллюзии с математическими функциями, а тьюринг-полная интуиция. Если мыслить программистски, но тотально, то в целом неплохо будет