:: deftheorem Def3 defines right-ideal IDEAL_1:def 3 :
for L being non empty multMagma
for F being Subset of L holds
( F is right-ideal iff for p, x being Element of L st x in F holds
x * p in F );