Description: Defining property of the center of a group. (Contributed by Mario Carneiro, 22-Sep-2015)