包含的か排他的か

本編(メリス/ジルバーガーの圏論的判断計算 - 檜山正幸のキマイラ飼育記 (はてなBlog))で書いた文言:

非対称(対称とは限らない、しかし対称でもかまわない)色付きオペラッド〈non-symmetric colored operad〉

「色付き」も「色無しでもかまわない」ものだ。