как обрабатывать несколько упорядоченных пар в Event-B
Я хочу получить два последних сопоставленных элемента детерминированной троичной упорядоченной пары в виде двоично упорядоченных пар, вот пример:set A = { 1 ↦ 2 ↦ 3,1 ↦ 5 ↦ 6} ,Я хочу получитьset B = {2 ↦ 3, 5 ↦ 6} ,Что я должен делать? Кстати: это возможно?
Я пытался получить домен и диапазонset Aи использовать декартово произведение, чтобы получить то, что я хочу, но мне это не удалось, набор результатов был неупорядочен