Let Pi and Pj be two program segments.
Cho Pi và Pj là hai đoạn của chương trình.