Characterizing lambda-terms with equal reduction behavior