TM accepting ∊ simply means out TM will always halts on input ∊.
This is exactly Halting problem which states that 'We can't make an algorithm that can decide whether a particular TM will accept input string 'W' or not'.
in out case here string is ∊ , and it's RE but not REC means semi decidable.