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

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

Axiom: A ∩ (B ∩ C) = (A ∩ B) ∩ C Intersection is associative
public testIntersectionAssociative ( Set $A, Set $B, Set $C )
$A Set
$B Set
$C Set
    public function testIntersectionAssociative(Set $A, Set $B, Set $C)
    {
        $A∩⟮B∩C⟯ = $A->intersect($B->intersect($C));
        $⟮A∩B⟯∩C = $A->intersect($B)->intersect($C);
        $this->assertEquals($A∩⟮B∩C⟯, $⟮A∩B⟯∩C);
        $this->assertEquals($A∩⟮B∩C⟯->asArray(), $⟮A∩B⟯∩C->asArray());
    }