数集,确界原理