And if you view the relations as perfectly symmetric, so that it is arbitrary to define N as against S (which makes sense, because the relations themselves have been stripped of any content other than distinction), then this is nothing other than a naming convention for the three entities.