Continuous functions form a unital algebra
Limit of product equals product of limits