Category formulas without explicit specifying of objects Consider the following example:
$C$ is a category each of whose Hom-sets is partially ordered. Let $f$, $g$, and $h$ are morphisms of this category. Consider the formula: $g\circ f \ge h$.
Intuition suggests that from this formula it follows:


*

* $f$ and $g$ are composable that is the destination of $f$ is the source of $g$.

* $g\circ f$ and $h$ lie in the same Hom-set, that is the source of $f$ is the same as the source of $h$ and destination of $g$ is the same as the destination of $h$.


So, intuition suggests that these conditions 1 and 2 follow from the formula. But can we define it formally, in order not to say explicitly that these equalities (1 and 2) of sources and destination hold? It is very boring to formulate such conditions explicitly in every statement about morphisms in a category.
 A: If you want to be explicit, you can do it for example as follows: Let $C$ be a category whose homsets are ordered by relations $\le_{A,B}$ on each $\mathrm{Hom}_C(A,B)$. Define a relation $\le$ on the class $\operatorname{Mor}C$ by 
\[ f \le g :\!\iff \exists A,B \in \operatorname{Obj}C,\> f,\!g: A \to B \wedge f \le_{A,B} g
\]
A: For a given (first order) similarity type $t$, one can introduce so called first order 'situations', as a pair $\langle X,\Gamma\rangle$ where $X$ is a (finite) set of variables, and $\Gamma$ is a set of atomic formulas over $X$. An interpretation of this in a modell $M$ is just an evaluation $u:X\to M$ such that $M\models\Gamma[u]$.
Among partial algebras, an interpretation $u$ of $\langle X,\Gamma\rangle$ is effectively meant such that for all equation $"\sigma(\bar x)=\tau(\bar x)"\,\in\Gamma$, the evaluated terms $\sigma(u(\bar x))$ and $\tau(u(\bar x))$ are defined and equal.
So, in this sense, the interpretations of your $\langle\{f,g,h\},\{"f\circ g\le h"\} \rangle$ may already include the wished hypothesis.
How to say, this all can be viewed as it is only about a good phrasing in the preface of a book/paper.
