Code

Generally, we must think of pieces of code only as partial functions $X \rightarrow X$, whose domains generally can't be determined (by the Halting Problem).