階層構造は親が子を包含するという点を保証するのみ