The following pages link to Fusion system induced by a finite group on its p-Sylow subgroup is functorial: