On the foundations of k̲-group theory