4.5.5 F-代数