{\displaystyle a\notin D_{f}}