จำนวนจริงบวก

มีสับเซต ของซึ่งสำหรับสมาชิก a ทุกตัวของ R คุณสมบัติต่อไปนี้ จะเป็นจริงเพียงข้อเดียวเท่านั้น