 Moreover, the constitution of domains that are perfectly suited to certain operations allows one to establish general theorems on the objects under consideration. In this way one can characterize the operations of infinitesimal analysis algebraically but without any of the naïveté which had characterized the previous algebraic approaches.