Theselastthreeconditionsareanalogoustothedefinitionofagroup.
group