for I being non empty set
for S being non empty FSM over I holds the InitS of S is accessible