This question already has an answer here:
Let $G$ be a set with an associative operation defined on it.
Assuming $G$ is finite and both cancellation laws hold, show that $G$ is a group.
Is knowing that $G$ is associative under an operation and finite enough to say that it is closed? Also how can I build an identity from this?