Rational numbers are defined as integers in the form of p/q where q is not zero and can be added, subtracted, and multiplied with closure, but division is not closed. Addition and multiplication are commutative and associative for rational numbers, while subtraction and division are neither commutative nor associative. The document also discusses properties like the additive inverse and the reciprocal of rational numbers.