（）是四大约束中的最大约束。