What does the subscript df mean in this image?

458 Views Asked by At

I am taking a class on Theory of Computation, and can't seem to find what the subscript df in this image stands for. For context, we are discussing Set Theory, specifically countably and uncountably infinite sets.

enter image description here

1

There are 1 best solutions below

0
On BEST ANSWER

It stands for “definition”. It means that $X$ is defined as $\{n\mid n\notin X_n\}$.