プロセスグループは常にひとつのリーダーから始まるが、必ずしも常にリーダーが必要というわけではない(リーダーが他のプロセスより先に終了することがある)。