We extend the study of doppelsemigroups and introduce the notion of an ordered doppelsemigroup. We construct the ordered doppelsemigroup of binary relations on an arbitrary set and prove that every ordered doppelsemigroup ...