public function testCardinalityOfCartesianProduct(Set $A, Set $B) { $A×B = $A->cartesianProduct($B); $this->assertEquals(count($A) * count($B), count($A×B)); $this->assertEquals(count($A->asArray()) * count($B->asArray()), count($A×B->asArray())); }