tên gọi chung các công trình quân sự dùng để chiến đấu và phòng tránh như hầm, hào, hố, v.v.: đào công sự