Definition of the simple calculus