[多选]  下列各组概念依据箭头所指示的推导关系,属于正确概括的有()。