A Graph Node that is connected by a Graph Edge to the current node. Definition a,b are neighbours⟺∃ edge E s.t E connects a,b