States communicate when each is accessible from the other: there exist nonnegative integers such that and . A communicating class is an equivalence class for this relation.