We propose a model reduction method for positive systems that ensures the positivity of the reduced-order model. In the standard as well as in the descriptor case, for continuous-time and discrete-time systems, our approach is based on constructing diagonal solutions of Lyapunov inequalities. These are linear matrix inequalities (LMIs), which are shown to be feasible. Positivity and stability are preserved, and an error bound in the H(infinity)-norm is provided.