Maths — Integers and Rationals
Integers and non-integer rationals partition the rationals.
Make it your own.
title "Integers and non-integer rationals"
set Z "Integers"
set F "Non-integer rationals"
only "Z" "..., -2, -1, 0, 1, 2, ... (whole numbers, positive and negative)"
only "F" "1/2, 0.75, -3/4, 2.5 (fractions that are not whole)"
intersect "Z,F" "Empty: together they make up all rational numbers"