第五编 集合F及推移法则