Equivalence of Order Embedding Definitions