Ruler & Mathematical Sets