نوع المعرفة داخل النطاق نوع آخر. عادة ما يستخدم نوع متداخل لتغليف تفاصيل التنفيذ من نوع المستوى الأعلى.