In this chapter, we mainly discuss the semantic lossy source coding. Firstly, we investigate the semantic distortion measure and extend the concept of jointly typical sequence in the semantic sense. Then we prove the semantic rate-distortion coding theorem by using jointly typical encoding over the synonymous typical set, which means that the semantic rate-distortion function, namely, the minimum down semantic mutual information, is the lowest compression rate achieving by semantic lossy source coding.