Biểu diễn nửa nhóm ngược bởi các ánh xạ bộ phận một - một và biểu diễn nửa nhóm ngược bởi cấu trúc tự do