en un AFND se define como: