धनात्मक परिमेय संख्याओं के समुच्चय `Q^(+)` में निम्नलिखित प्रकार से परिभाषित * एक द्विआधारी संक्रिया है : `a ** b = (ab)/(4)` सिद्ध कीजिये कि * कर्म विनिमय तथा सह्य्रथ है। `Q^(+)` में * का प्रतिलोम अवयव यदि कोई है तो ज्ञात कीजिये।