From this definition it follows That could be a contravariant functor within the class of compact Hausdorff Areas to the group of -algebras (which we've been assuming have identities). Explicitly, a ongoing functionThe rings we’ll be thinking about now will be the commutative rings of actual-valued continual functions on the topological House wit