1
$\begingroup$

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

$\endgroup$

1 Answer 1

Reset to default
2
$\begingroup$

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

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.