Bất động sản 1 chỉ áp dụng cho unary nhà điều hành, tức là sự tham gia một đối số chỉ. Theo tài sản này, kết quả tổng hợp bằng x nếu h là unary. Bất động sản 2 xác định các hành vi tồi tệ nhất/tốt nhất trường hợp của nhà khai thác tổng hợp. Nếu đối số xi hoặc là hoàn toàn sai (xi = 0) hoặchoàn toàn đúng sự thật (xi = 1) cho tất cả i∈ℕ, sau đó tổng hợp kết quả phản ánh hành vi tương tự. Các thuộc tính của điều kiện biên có thể dễ dàng được mở rộng để đầu vào/đầu ra bên ngoài khoảng thời gian đơn vị. Đôi khi các điều kiện biên được mở rộng như sau [42]:
đang được dịch, vui lòng đợi..
