public function testIntersectionDistributive(Set $A, Set $B, Set $C)
{
$A∩⟮B∪C⟯ = $A->intersect($B->union($C));
$⟮A∩B⟯∪⟮A∩C⟯ = $A->intersect($B)->union($A->intersect($C));
$this->assertEquals($A∩⟮B∪C⟯, $⟮A∩B⟯∪⟮A∩C⟯);
$this->assertEquals($A∩⟮B∪C⟯->asArray(), $⟮A∩B⟯∪⟮A∩C⟯->asArray());
}