=====Finite nonisomorphic binars===== (also called \emph{groupoids} in universal algebra, but in category theory a groupoid is a category where all morphisms are isomorphisms)