폐포(Closure) 총정리
폐포(Closure), 수학, 논리학, 컴퓨터 과학, 그리고 데이터베이스 이론에서 매우 중요한 개념으로, 주어진 집합이나 관계에 대해 특정 연산을 적용했을 때, 그 결과가 항상 원래 집합이나 관계 내에 포함되도록 하는 성질을 말합니다. 이를 이해하기 쉽게 비유하자면, 폐포는 ‘자기 완결성’을 보장하는 규칙이라고 할 수 있습니다. 예를 들어: 덧셈의 폐포: 정수 집합에서 두 정수를 더하면 항상 정수가 됩니다. 이는 … Read more