[单选题] 设G为算符优先文法，G的任意终结符对a、b有以下关系成立

A.若f(a)>g(b)，则a>b

B.若f(a)

C.a~b都不一定成立

D. a~b一定成立