Definition:Finite Extended Real Number

From ProofWiki
Jump to navigation Jump to search

Definition

An extended real number is defined as finite if and only if it is a real number.