Accordingly, a diffeological principal S¹-bundle over a diffeological space X is a subduction π : P → X and a smooth map τ satisfying the same conditions; see [30] for a thorough discussion.