Real Number Properties (Background Knowledge)