Dòng thứ ba của dẫn xuất này bản thân nó là một thực tế hữu ích và có thể được mở rộng từ Boolean
vụ án cho trường hợp rời rạc nói chung. Hãy biến rời rạc D có tên miền (dl ,..., D,).
Sau đó, nó rất dễ dàng để hiển thị (Exercise 13.2) rằng
đang được dịch, vui lòng đợi..
