a po co podgrupa? dowolny zbiór z działaniem, niekoniecznie łącznym