부분집합, 진부분집합, 상위집합, 진상위집합, 포함관계


subset
부분집합, 서브셋
proper subset, strict subset
진부분집합
superset
상위집합, 슈퍼셋
proper superset
진상위집합
inclusion, containment
포함, 포함관계, 내포, 인클루젼

부분집합

  • <math>A \subset B</math>[1] → A는 B의 부분집합
  • 집합 A의 모든 원소가 집합 B에 속할 때, A는 B의 부분집합
  • 두 집합 A, B에서 x∈A인 임의의 원소 x에 대하여 반드시 x∈B일 때, A는 B의 부분집합
  • 진부분집합 또는 같은 집합

진부분집합

  • <math>A \subset B</math>이고 <math>A \neq B</math>일 때, A는 B의 진부분집합
  • 부분집합이지만 같지는 않음

상위집합

  • <math>A \supset B</math>[2] → A는 B의 상위집합
  • 부분집합의 반대 개념

진상위집합

  • <math>A \supset B</math>이고 <math>A \neq B</math>일 때, A는 B의 진상위집합
  • 상위집합이지만 같지는 않음

포함관계

  • 상위집합과 부분집합의 관계
  • 어떤 집합이 다른 집합에 포함되는 것
  • 하나의 집합이 다른 집합을 부분 집합으로서 포함하는 것

같이 보기

참고

  1. <math>A \subseteq B</math>로 표기하기도 함
  2. <math>A \supseteq B</math>로 표기하기도 함