基坑是一种临时性工程。