for Q being multLoop
for H being Subset of Q st 1. Q in H & ( for x, y being Element of Q st x in H & y in H holds
x * y in H ) & ( for x, y being Element of Q st x in H & y in H holds
x \ y in H ) & ( for x, y being Element of Q st x in H & y in H holds
x / y in H ) holds
[#] (lp H) = H