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

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

Axiom: A × (B ∪ C) = (A × B) ∪ (A × C) A cross union of B and C is the union of A cross B and A cross C
public testACrossUnsionBCEqualsACrossBUnionACrossC ( Set $A, Set $B, Set $C )
$A Set
$B Set
$C Set
    public function testACrossUnsionBCEqualsACrossBUnionACrossC(Set $A, Set $B, Set $C)
    {
        $A×⟮B∪C⟯ = $A->cartesianProduct($B->union($C));
        $⟮A×B⟯∪⟮A×C⟯ = $A->cartesianProduct($B)->union($A->cartesianProduct($C));
        $this->assertEquals($A×⟮B∪C⟯, $⟮A×B⟯∪⟮A×C⟯);
        $this->assertEquals($A×⟮B∪C⟯->asArray(), $⟮A×B⟯∪⟮A×C⟯->asArray());
    }