دو مفهوم را در نظر بگیرید که یکی از این دو مفهوم تمام مصادیق مفهوم دیگر را در بر دارد ولی مفهوم دیگر فقط برخی از مصادیق مفهوم اول را در بر دارد
