Definition:Finite Extended Real Number

Definition
An extended real number is defined as finite it is a real number.