摘要

We prove that the complement of the consistent closure of the complement of the consistent closure is consistent, and thus, at most 10 binary relations can be generated from a binary relation by taking complements and consistent closures.

  • 出版日期2012-3-28