鉱業は業種の一種である．