Definition:Ring of Fractions