Systemem k-cykli rzędu n nazywamy parę
, gdzie
jest taką rodziną cykli długości k nad zbiorem punktów X, , że każda nieuporządkowana para elementów z
jest reprezentowana przez dokładnie jedną krawędź
cyklu w .
Systemy 3-cykli są systemami trójek Steinera.
Warunkiem koniecznym i wystarczającym na istnienie systemu 4-cykli jest
.
Przedstawione zostaną metody konstrukcji takich systemów. Ponadto omówione
będą prawie rozkładalne systemy 4-cykli. Podjęta zostanie również dyskusja
dotycząca systemów k-cykli dla .