在數學中roof是什麽意思