Nhưng (1.4) tương đương với điều kiện (ιιι) φ trong định nghĩa của (c) các chức năng -comparison. Hơn nữa, Bổ đề 1.3.1 trong [4] cho thấy
rằng (ιιι) φ cũng ngụ ý (ιι) φ.
Vì vậy, các khái niệm về chức năng so sánh mạnh thực sự trùng với của (c) chức năng -comparison.
đang được dịch, vui lòng đợi..