Aşağıdaki ifadelerden hangisi "ancak ve ancak" bağlacının matematiksel tanımını doğru şekilde ifade eder?