Существует два вида махфум (подразумеваемых) значений по отношению к предписанию, содержащемуся в манту́к (прямом) значении высказывания: махфум аль-муваафака, при котором предписание в подразумеваемом значении совпадает с предписанием в прямом значении, и махфум аль-мухаалафа, при котором предписание в подразумеваемом значении является противоположным предписанию в прямом значении. То есть, если некое предписание связано с определённым условием, качеством, числом и т. п., можно полагать, что это предписание не применяется, когда данное условие, качество, число и т. п. отсутствует. Оба этих вида махфум-значений были дополнительно разделены некоторыми учёными на подвиды; однако различия настолько тонки с точки зрения языка, что здесь будет достаточно упомянуть несколько примеров из каждого из двух основных видов.

There are two types of mafhoom (implied) meanings in relationship to the rule contained in the mantooq meaning of a statement: the mafhoom almuwaafaqah, in which the rule in the implied meaning agrees with that of the mantooq; and mafhoom al-mukhaalafah, in which the rule in the implied meaning is the contrapositive of the mantooq.123 That is, if a law is connected to a particular condition, trait, number, etc., one can assume the law doesn’t apply when the condition, trait, number, etc. is missing. Both of these types of mafhoom meanings have been further subdivided by some scholars; however, the differences are so linguistically fine that it will suffice to mention a few examples from each of the two main types here.