:: deftheorem Def21 defines homogeneous MARGREL1:def 21 :
for IT being Relation holds
( IT is homogeneous iff dom IT is with_common_domain );