What accurately distinguishes “a slave” from “a believing slave”?

Comprehensive Revision and Final Assessment — Mabadi al-Usul

• The first is general and the second a homonym
• Both necessarily include every member
• The first is unrestricted; the second is qualified by faith
• The first is muhkam; the second mutashabih