@SteamyRoot If you don't have transversality, you might end up with
something like this when taking the intersection (or the reciprocal image, depending on the context), and this cannot be a manifold. But when you impose transversability, you fix the dimension so you don't get this kind of problem, and therefore you always get a manifold