 P and Q are similar ordinally, written \(P \smor Q\), just in case there is a one to one mapping \( \relS \) of the domain of P into the domain of Q such if \(x\relP y\), \(x \relS z\), and \( z \relQ w \) then \(w \relbS y\).