圧縮空気

ダイビング用のシリンダーに入っている圧力をかけられ、高圧になった空気。