Definition Of Real

$$$