Operácia množinová

operácia množinová

- operácia definovaná na určitom systéme množín, spravidla na systéme všetkých podmnožín danej množiny, ktorá každej usporiadanej dvojici množín z daného systému priraďuje opäť množinu z danej množiny, napr. ak množina A je podmnožinou množiny B, tak prienik množín A a B je množina A (pozri Obr. 1) ( L542;162).

Obr. 1

ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄż
ł ł
ł ÚÄÄÄÄÄÄÄÄÄÄż B ł
ł ł ł ł
ł ł A ł ł
ł ŔÄÄÄÄÄÄÄÄÄÄŮ ł
ł ł
ł ł
ŔÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄŮ

A ď B = A (kde A je podmnožinou množiny B)