Two partially ordered sets are said to be isomorphic if their "structures" are entirely analogous. Formally, partially ordered sets P = (X, <=) and Q = (X', <=') are isomorphic if there is a bijection f from X to X' such that x_1<=x_2 precisely when f(x_1)<=' f(x_2).