Then it follows from the definition of floor function that this extended operation satisfies many natural properties. Notably, "x" mod "y" is always between 0 and "y", i.e., if "y" is positive,
นั่นคือ ถ้า "x" เป็นจํานวนเต็มและ "y" เป็นจํานวนเต็มบวก ฟังก์ชัน "x" mod "y" โดยที่ "y" เป็นค่าคงตัว จะเป็นฟังก์ชันฟันเลื่อยเช่นกัน