:: deftheorem defines InternalRel2Uniformity UNIFORM3:def 25 :
for RS being RelStr holds InternalRel2Uniformity RS = { R where R is Relation of the carrier of RS : the InternalRel of RS c= R } ;