Co to są odcinki swobodne?
Wiem że są to odcinki, które powstały z relacji D(abcd) [ab przystaje do cd]. Relacja przystwania jest zwrotna, symetryczna oraz przechodnia, czyli jest równoważnością i dzieli zbiór odcinków na klasy abstrakcji. Właśnie te klasy abstrakcji zwią się odcinkami swobodnymi, ale nie umiem sobie tego wyobrazić.