Definition:Finite Extended Real Number

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