completion (order theory)

  1. REDIRECTDedekind cut{{R with possibilities}}