内算法∩と∪をもち吸収則( (a∪b)∩a=a, (a∩b)∪a=a )が成り立つ代数系を束というということらしいです。