MathPHP\SetTheory\SetAxiomsTest::testAIntersectionBIsSubsetOfA PHP Method