Trivial left semi-braces clearly are left cancellative: through this paper, all the left semi-braces will be left cancellative. In this case, it is well-known that 0 is an idempotent respect to the operation \(+\)  and hence it is a left identity for \((B,+)\) . Moreover, the additive structure has been completely determined, as we can see in the following result contained in [1]}.
