public function testAIntersectionBIsSubsetOfA(Set $A, Set $B) { $A∩B = $A->intersect($B); $this->assertTrue($A∩B->isSubset($A)); $this->assertTrue($A∩B->isSubset($B)); }