Let [Formula: see text] be a finite group. A subgroup [Formula: see text] of [Formula: see text] is called to be [Formula: see text]-permutable in [Formula: see text] if [Formula: see text] permutes with all Sylow subgroups of [Formula: see text]. A subgroup [Formula: see text] of [Formula: see text] is said to be [Formula: see text]-supplemented in [Formula: see text] if there exists a subgroup [Formula: see text] of [Formula: see text] such that [Formula: see text] and [Formula: see text] is [Formula: see text]-permutable in [Formula: see text]. In this paper, we investigate [Formula: see text]-nilpotency of a finite group. As applications, we give some sufficient and necessary conditions for a finite group belongs to a saturated formation.