Ba phần luật
ỞToán họcTrung,Ba phần luật( hoặc công lý ) là đối bất luận cái gì ( thật ) sốxCùngyDưới đây quan hệ trung chính xác một cái thành lập nhất giống nhau trần thuật:
Nếu ứng dụng vớiSố đếm,Ba phần luật đồng giá vớiLựa chọn công lý.
ỞCó tự chỉnh hoànHoặcCó tự vựcĐịnh nghĩa trung, cóy= 0 ba phần luật thông thường bị tiếp thu vì soToàn tựLuật càng thêm cơ bản, nơi này 0 là chỉnh hoàn hoặc vực linh.
ỞTập hợp luậnTrung, ba phần pháp nhất thường xuyên bị định nghĩa vìHai nguyên tố quan hệ< sở có được một cái tính chất, ở sở hữu nó thành viên<x,y>Chính xác thỏa mãn kể trên quan hệ chi nhất thời điểm.Nghiêm khắc không phải làLà ở cái này ý nghĩa thượng ba phần quan hệ một ví dụ. Ở cái này ý nghĩa thượng ba phần quan hệ làPhản tự phảnCùngPhản đối xưng.