理想约束的定义是什么?