See Hovey p. 184 for definition and properties. Or Dundas, page 39.
nLab page on Homotopy pushout square