若R.B→R.A,R.C→R.A,则R.(B,C)→R.A
出自:计算机科学