513は、UNIXという言葉を、旧AT&T→USL→ノベル→SCOからUNIXのライセンスを
得たソフトウェアであるという意味で定義したいようでつね。その意味でいうと、
オリジナルのsocket仕様を作った4.1aBSDは、UNIXですが、現代の全てのBSDの
元である4.4BSD-Liteは、裁判沙汰からの和解の結果、現SCOの持つUNIXのライ
センスを必要としないと確定していまつ。ですから、4.4BSD-Lite以降のOS、
すなわち現代の全てのBSDは全てUNIXではないでつ。
513の言いたいことは、たぶん、こういうことでしょう。

しかし、現時点での、UNIXという単語の公式な定義は、Single UNIX Specification
に適合したソフトウェアであることでつ。従って、SUS に適合しっこない
4.1/4.2BSDは、そういう現代的な意味でのUNIXではないでつ。
513のUNIXの定義よりも、こちらのUNIXの定義を選ぶのが、現時点では正式でそ。
というわけで、513よりも511の方が、現代的UNIXの定義の上からは、正しいでつ。