The set would end if Isner's service game was broken by Mahut but would not end if Mahut's service game was broken and then he broke back his opponent's serve.
More information about formatting options
The set doesn't neccessarily end with a break
The set would end if Isner's service game was broken by Mahut but would not end if Mahut's service game was broken and then he broke back his opponent's serve.