 Epsilon closure

The epsilon closure of a state set $S$ consists of every state reachable from $S$ using zero or more epsilon transitions.