S-a demonstrat pentru bucle teorema generalizată Puancare; deasemenea se arată că mulţimea subbuclelor normale ale unei bucle formează o sublatice completă şi modulară a laticei complete a subbuclelor acestea și este izomorfă ...