Układy formalne „TUL” są to formy ruchowe zawierające techniki ataku, obrony i samoobrony. Stanowią swoisty kod genetyczny sztuki walki. Są formą walki bez przeciwnika, dzięki czemu można wykonywać zawarte w nich techniki (uderzenia, bloki, kopnięcia, elementy samoobrony) z pełną dynamiką i siłą bez ryzyka kontuzji lub zranienia partnera treningowego. Poziom trudności układów wzrasta wraz z poziomem adepta oraz stopniem jego zaawansowania. W Taekwon-Do wyróżniamy 24 układy formalne oraz dwa podukłady nie wchodzące w skład głównego kanonu układów.
Zgodnie z interpretacją gen. Choi Hong Hi (twórcy Taekwon-Do) dlatego jest ich dokładnie 24, ponieważ nawet najdłuższe życie człowieka w obliczu wieczności jest niczym więcej jak jedna doba życia dla człowieka. Ograniczenie układów do 24 i porównanie do doby ma symbolizować życie gen. Choi Hong Hi, które poświęcił dla Taekwon-Do.