We define different concepts of group strategy-proofness for social choice functions. We discuss the connections between the defined concepts under different assumptions on their domains of definition. We characterize the social choice functions that satisfy each one of the mand whose ranges consist of two alternatives, in terms of two types of basic properties.