正式约束包括（）等。