:: deftheorem defines InternalRel2Element UNIFORM3:def 27 :
for RS being RelStr holds InternalRel2Element RS = the InternalRel of RS;