ينبغي أن نتأكد من اتساق الشرطين من حيث إمكانية استيفاء كليهما في وقت واحد، واستقلالهما من حيث إن أيا منهما لا يقضي ضمنا بوجود الآخر. وأبسط طريقة لتحقيق هذا هو إعطاء مثال يستوفي كلا الشرطين، ومثال يستوفي الشرط الأول فقط، ومثال يستوفي الشرط الثاني فقط. ولإظهار مثال يخفق في استيفاء شرط منهما، لا نحتاج سوى إيجاد حالة يفشل فيها، غير أنه لكي نبين أنه يستوفي شرطا ما، لا بد أن نبين أن الشرط يستوفى في جميع الحالات؛ أي باختيارات من جميع القوائم الممكنة.

فيما يلي مثال يستوفي كلا الشرطين (على الرغم من أن الاختيارات المتخذة فيه، كما سنرى، تظل تاركة شيئا محل رغبة). (1-3) مثال السمك

تتألف قائمتك من سمك «الأنشوجة» و«القاروس» و«القد»، ويقع اختيارك على «الأنشوجة». ولكن إذا كانت قائمتك مقتصرة على «القاروس» و«القد»؛ فإنك تختار «القد»، وإذا كانت مقتصرة على «الأنشوجة» و«القد»، تختار «الأنشوجة»؛ وهو ما يمثل بيانيا كما يلي:

أ ب ج

أ

أ ب

أ ب

ب ج

ج

أ ج

Неизвестная страница