下列各组概念依据箭头所示的推演关系，属于正确的限制有()