A lattice-theoretic characterization of safety and liveness