論OIer的同構

定義一個輸入集，指這樣一個集合：由任意存在於物理世界的OI題目以及作這個題的時間與身體狀態等各類元素組成的n元組組成的集合

OIer被定義爲一個二元組：<「結果集」，「以輸入集爲定義域，以結果集爲值域的雙射函數f」>

結果集是指這樣一個集合：作完OI題目的分數、時間以及作完題目的各類狀態組成的n元組

當兩個OIer A和B知足如下條件時，咱們說這兩位OIer同構：

1.A與B的結果集相同

2.A與B的f相同

兩位OIer的同構關係的斷定只用到以上兩個條件。