From this definition it follows That may be a contravariant functor through the category of compact Hausdorff spaces into the class of -algebras (which we've been assuming have identities). Explicitly, a steady functionalityThe rings we’ll be taking into consideration today are classified as the commutative rings of serious-valued steady features