Let $\mathbf C$ be a category.
A property of morphisms of $\mathbf C$ is a subclass of the class of morphisms of $\mathbf C$.