Submanifolds in the Context of Infinite Dimensional Manifolds with Corners

In this paper we introduce new definitions of submanifold and immersion in the context of infinite dimensional manifolds with corners. We show that they are the natural concepts in this context by giving positive answers to the problems of transitivity of submanifolds, inverse image of submanifolds and transversality, the problem of good immersion in quadrants of Banach spaces and the relation between a map being differentiable and its graph being a submanifold.