Hợp hữu hạn của các module con

Từ Định nghĩa 1.3 ta thấy