Ordered algebras are a special case of algebras for a 2-dimensional theory, i.e. a 2-category, in which the 2-cells express the ordering of operations. I considered the case of such theories with a tensor product (2-props) in "Languages for Monoidal Categories" (JPAA 59 (1989) 61-85). Barry Jay