Then $C_{\text{eff}}={(Rel(C)[\check{E}])}_{la}$ is effective regular, and the embedding $Rel(C)\to Rel(C)[\check{E}]$ restricts to a full and faithful regular functor $C\to C_{\text{eff}}$ which is universal among regular functors $C\to D$ where $D$ is effective regular.