For k=1 there are two sequences: 0 of the type [0] and 1 of the type [1]; for k=2 four sequences: 00 and 01 of the type [¥], 10 of the type [1], and 11 of the type [0]; for k=3 eight sequences: 000, 010, 101 of the type [0], 001, 100, 011 of the type [1], and 010, 101 of the type [¥]; for k=4 sixteen sequences: 0000, 0001, 0100, 0101, 1010, 1011 of the type [¥], 0010, 1000, 0110, 1101, 1111 of the type [1], and 0011, 1001, 1001, 1100, 0111, 1110 of the type [0], etc. Because every rational KL is obtained as a numerator closure of an R-tangle not beginning or ending with 2, it can be expressed by 0-1 sequence. This means that it contains only tangles of the type [0] or [1], so as the final result can be obtained only a tangle of the type [1], [¥], or [0]. It can be only a knot (obtained as a numerator closure from [1], [¥]), or 2-component link (obtained from [0]). Hence, every rational KL is a knot, or 2-component link.

Stellar (pretzel) tangles are obtained from R-tangles by using the operation of ramification: (a,b)=-a-b=a 0+b 0 and consist of at least three R-tangles. Pretzel KLs are numerator closures of pretzel tangles. For denoting the types of pretzel knots double brackets will be also omitted in the following sense: the type of pretzel knot obtained from R-tangles of the type [0], [1], [¥], will be shortly denoted as [¥,1,0], since [0]0=[¥], [1]0=[1], [¥]0=[0]. For example, the type of the pretzel tangle 2,3,2 1 will be [[0],[1],[¥]] = [¥,1,0].