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())); }