public function testAUnionEmptySetEqualsA(Set $A) { $Ø = new Set(); $A∪Ø = $A->union($Ø); $this->assertEquals($A, $A∪Ø); $this->assertEquals($A->asArray(), $A∪Ø->asArray()); }