Definition of Real