for X being set
for KX being SimplicialComplexStr of X
for i being dim-like number st KX is subset-closed & degree KX <= i holds
Skeleton_of (KX,i) = TopStruct(# the carrier of KX, the topology of KX #)