Completion of L-topological groups

The goal of this paper is to extend an L-topological group to a complete L-topological group, which necessitates formalizing the completion of an L-topological group. In so doing, we introduce the notion of the completion of an L-uniform space in the sense of Gähler, Bayoumi, Kandil and Nouh.