reserve X for set;
reserve UN for Universe;

theorem Th37:
  for R being Relation st R in UN holds dom R in UN & rng R in UN
  proof
    let R be Relation;
    assume R in UN;
    then dom R is Element of UN & rng R is Element of UN by Th36;
    hence thesis;
  end;
