Build an operation. Watch structure appear.

Faint letters mark cells forced by the Latin square property, and amber cells can no longer be filled without repeating an element. That road leads to a quasigroup; associativity is still yours to arrange.