Насколько я понял, ничего отождествлять нельзя, даже

и

.
Пока Вы не определите конкретные модели

и

, вопрос не имеет смысла.
Определяюсь:

- это

а

- это

тогда

.
Как теперь умножить подмножество на множество? Облазил весь интернет - не нашёл.
Если перемножить декартово, то получится

. Тут напрашивается отождествление первой пары с единицей, а второй - с двойкой. Но ведь пара (упорядоченная) формально ведь не множество, хотя её тоже можно отождествить с множеством. Что-то я тут не вижу ни конца не краю.
Я кажется понял - уже при выборе модели ничего отождествлять нельзя.