Now it is shown that being regular for a funcoid $f$ is equivalent to each of the following formulas:
1. $\mathrm{Compl}\,(f \circ f^{-1} \circ f) \sqsubseteq \mathrm{Compl}\,f$.
2. $\mathrm{Compl}\,(f \circ f^{-1} \circ f) \sqsubseteq f$.