Понятия из области математики, между которыми симметричные отношения «вид ↔ вид» — это, например, «знак сложения» и «знак вычитания». Это два видовых понятия родового понятия «арифметические знаки». Они не пересекаются, каждое означает свое действие.