다중집합 곱셈

중복 항목의 개수를 기록하는 모음을 곱하는 연산입니다.

다중집합은 각 항목이 몇 번 나오는지 기록합니다. 같은 항목이 두 개 있는 경우는 하나만 있는 경우와 다릅니다. 이 개념은 현대 용어보다 오래되었습니다. 수학자 리하르트 데데킨트의 1888년 저작은 다중집합 역사에서 초기 참고 문헌이며, 이후 형식 이론이 발전했습니다.

데이터베이스 이론에서는 이런 방식을 백 의미론이라고 합니다. 질의 결과에 중복 행이 포함될 수 있고, 그 개수도 결과의 일부로 남습니다. 전문 연산자인 ⊍는 형식 수학이나 컴퓨터 과학의 문맥을 나타냅니다.