Let [Formula: see text] be a primitive set, [Formula: see text], [Formula: see text], and denote by [Formula: see text] the orbit closure of [Formula: see text] under the shift. We complement results on heredity of [Formula: see text] from [Dymek et al., [Formula: see text]-free sets and dynamics, Trans. Amer. Math. Soc. 370 (2018) 5425–5489] in two directions: In the proximal case we prove that a certain subshift [Formula: see text], which coincides with [Formula: see text] when [Formula: see text] is taut, is always hereditary. (In particular there is no need for the stronger assumption that the set [Formula: see text] has light tails, as in [Dymek et al., [Formula: see text]-free sets and dynamics, Trans. Amer. Math. Soc. 370 (2018) 5425–5489].) We also generalize the concept of heredity to include the non-proximal (and hence non-hereditary) case by proving that [Formula: see text] is always “hereditary above its unique minimal (Toeplitz) subsystem”. Finally, we characterize this Toeplitz subsystem as being a set [Formula: see text], where [Formula: see text] for a set [Formula: see text] that can be derived from [Formula: see text], and draw some further conclusions from this characterization. Throughout results from [Kasjan et al., Dynamics of [Formula: see text]-free sets: A view through the window, Int. Math. Res. Not. 2019 (2019) 2690–2734] are heavily used.
Topological proof of Benoist-Quint's orbit closure theorem for $ \boldsymbol{ \operatorname{SO}(d, 1)} $
