MathPHP\SetTheory\SetAxiomsTest::testIntersectionDistributive PHP Метод

testIntersectionDistributive() публичный Метод

Axiom: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Intersection is distributive
public testIntersectionDistributive ( Set $A, Set $B, Set $C )
$A Set
$B Set
$C Set
    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());
    }