===חתך היחידה===
*נגדיר את חתך היחידה, בהמשך נוכיח שהוא נייטרלי לכפל.
*<math>1_D=\{x\in\mathbb{Q}|x<1\}</math>
===הופכי===
*אם <math>A>1_D</math> נגדיר את ההופכי שלו להיות
*<math>A^{-1}=\{x\in\mathbb{Q}|\exists m\not\in A:x<\frac{1}{m}\}</math>
=שדה הממשיים=