LANGUAGE OF M

and M has halted}

i.e., is undefined, where

REJECTION BY M

is rejected by M
1. halts and
2. M never halts, i.e., there is always a next move.