Hi, how can one define the concept of subgroup in universal algebra? is it possible at all? The problem is that in universal algebra the concept of group is defined by assigning to the inverse element and to the identity element, respectively an unary-operator and a nullary-operator. I am not able to use the same trick to describe a subgroup. Any ideas?