Parareal and multigrid reduction in time (MGRiT) are two of the most popular parallel-in-time methods. The basic idea is to treat time integration in a parallel context by using a multigrid method in time. If Φ is the (fine-grid) time-stepping scheme of interest, such as RK4, then let Ψ denote a "coarse-grid" time-stepping scheme chosen to approximate k steps of Φ, where k ≥ 1. In particular, Ψ defines the coarse-grid correction, and evaluating Ψ should be (significantly) cheaper than evaluating Φ k . Parareal is a two-level method with a fixed relaxation scheme, and MGRiT is a generalization to the multilevel setting, with the additional option of a modified, stronger relaxation scheme.A number of papers have studied the convergence of Parareal and MGRiT. However, there have yet to be general conditions developed on the convergence of Parareal or MGRiT that answer simple questions such as, (i) for a given Φ and k, what is the best Ψ, or (ii) can Parareal/MGRiT converge for my problem? This work derives necessary and sufficient conditions for the convergence of Parareal and MGRiT applied to linear problems, along with tight two-level convergence bounds, under minimal additional assumptions on Φ and Ψ. Results all rest on the introduction of a temporal approximation property (TAP) that indicates how Φ k must approximate the action of Ψ on different vectors. Loosely, for unitarily diagonalizable operators, the TAP indicates that the fine-grid and coarse-grid time integration schemes must integrate geometrically smooth spatial components similarly, and less so for geometrically high frequency. In the (non-unitarily) diagonalizable setting, the conditioning of each eigenvector, v i , must also be reflected in how well Ψv i ∼ Φ k v i . In general, worst-case convergence bounds are exactly given by min ϕ < 1 such that an inequality along the lines of (Ψ − Φ k )v ≤ ϕ (I − Ψ)v holds for all v. Such inequalites are formalized as different realizations of the TAP in Section 2, and form the basis for convergence of MGRiT and Parareal applied to linear problems.