ჩართვა სიმრავლეების
NPLG Wiki Dictionaries გვერდიდან
ჩართვა სიმრავლეების – ორ A და B სიმრავლეს შორის დამოკიდებულება, რომელიც ახასიათებს შემდეგ ფაქტს: თუ xϵA -დან გამომდინარეობს, რომ xϵB, მაშინ B შეიცავს A-ს (B-ში ჩართულია A). ასე აღინიშნება: A⸦B ან B⸧A.