柯西序列
這個極大理想 "I"保持了*Q本身的次序。所以形成的域是一有序域。完備性的證明跟柯西序列一節中的論證類同。