Total Extension Of Effect Algebras Definitions