We endow orthocomplemented posets with a binary operation-an abstract symmetric difference of sets-and we study algebraic properties of this class, ODP.