Search for tag: "domain range function notation closure rational exponents"