Rút gọn cho phân mảnh dọc

Bằng cách hoán vị phép chiếu và phép kết nối.

Bằng cách hoán vị phép chọn và phép kết nối.

Bằng cách phân phối các phép kết nối dưới các phép giao

Bằng cách hoán vị phép chiếu và phép chọn