>>269
補集合というのは、集合Zに関することです。
開基に対しての補集合という意味ではないと思います。
（Zから引き算しているのは、そういうことです。）