序同构

序同构指偏序集(A，≦)与偏序集(B，≦)序同构，当且仅当，存在一个双射f : A → B，使得 a ≦b → f(a)≦f(b)且f(a)≦f(b) → a ≦b。