Mài là một trong những nguyên công quan trọng trong lĩnh vực gia công cắt gọt kim loại. Mài được coi là quá trình gia công tinh sau khi được gia công bằng các phương pháp như Tiện, Phay, Bào hay sau quá trình nhiệt luyện… nhằm nâng cao độ chính xác về kích thước và độ nhẵn bóng bề mặt của chi tiết gia công. Hiện nay có khá nhiều phương pháp mài như : mài phẳng, mài tròn ngoài, mài tròn trong , mài định hình, mài nghiền, mài khôn... Trong đó mài khôn là một phương pháp thường dùng để gia công tinh lỗ, giúp nâng cao năng suất.