... Định nghĩa 2.1. Bộ ký hiệu là một tập hữu hạn, khác rỗng các ký hiệu, bao gồm các ký hiệu hàm và ký hiệu vị từ. Mỗi ký hiệu có một số tự nhiên kèm theo, gọi là bậc của ký hiệu. (Bộ ký hiệu ... buộc nguyên tố và các nguyên tố do người sử dụng định nghĩa. Các ràng buộc nguyên tố đã được định nghĩa với ngữ nghĩa xác định. Định nghĩa 2.3. Nếu p là ký hiệu vị từ bậc n và t1, ,tn là ... toán, ký hiệu là C, là ∑-cấu trúc, nghĩa là thể hiện của các ràng buộc. Lớp các ràng buộc, ký hiệu là C , là tập các ∑-công thức. Định nghĩa 2.8. Hàm xử lý ràng buộc đối với tập C, ký hiệu...