ویکی واژه [ریاضی] مجموعهای با یک عمل دوتایی شرکتپذیر که دارای عنصر همانی باشد و هر عنصر آن وارون داشته باشد