מישהו יודע מה זה מערך "מוכל?

מערך שמכיל את כל האיברים של המערך שמוכל בו.
לדוגמה, a={1,2,3}, b={1,2}z, אז b מוכל ב-a.

שואל השאלה:
תודה!!