Sync
Тип
TєSync, якщо безпечно отримувати доступ до значенняTз кількох потоків водночас.
Точніше, визначення таке:
TєSyncтоді і тільки тоді коли&TєSend
This slide should take about 2 minutes. 
                    Це твердження, по суті, є скороченим способом сказати, що якщо тип є потокобезпечним для спільного використання, також потоково безпечно передавати посилання на нього між потоками.
Це пояснюється тим, що якщо тип є Sync, це означає, що він може використовуватися кількома потоками без ризику перегонів даних або інших проблем із синхронізацією, тому його безпечно перемістити в інший потік. Посилання на тип також безпечно перемістити в інший потік, оскільки дані, на які воно посилається, можуть бути безпечно доступні з будь-якого потоку.