M mingaozhao Unregistered / Unconfirmed GUEST, unregistred user! 2003-05-29 #22 Fmin闭包(ABC),F蕴涵于Fmin+,仅仅A->B或B->C不能得出。