Definition:Rationally Expressible