• Neighbor abstraction The neighbor abstraction is based on the assumption, that the nodes in a network can be partitioned into two sets of pairs, according to whether the two nodes in each pair can or can not communicate directly. Thus for any given node there exists a set $S_n$ of its neighbors. This assumption holds for wired networks.