MathPHP\SetTheory\SetAxiomsTest::testCardinalityOfPowerSet PHP Method

    public function testCardinalityOfPowerSet(Set $A)
    {
        $P⟮S⟯ = $A->powerSet();
        $n = count($A);
        $this->assertEquals(pow(2, $n), count($P⟮S⟯));
        $this->assertEquals(pow(2, $n), count($P⟮S⟯->asArray()));
    }