Is there a procedure to construct all semigroups over a given set without backtracking?
(Edit: see also how many associative binary operations are there on a finite set and ratio of semigroups over a set N to magmas over N goes to 0 as the cardinality of N gets bigger.)