Proposition 1.6 (Theorem 16, [1]}) 
Let \(B\)  be a left cancellative left semi-brace. Then, \(E\)  is an ideal of \(B\)  if and only if \(B\)  is isomorphic to a semidirect product of left cancellative left semi-braces \(T\rtimes A\)  of a trivial left semi-brace \(T\)  by a skew left brace \(A\) .

