Відокремлений додаток, означення