:: deftheorem Def19 defines PLS-yielding PENCIL_1:def 19 :
for F being Relation holds
( F is PLS-yielding iff for x being set st x in rng F holds
x is PLS );