The rational points of a definable set | Synapse