⁹In the general case, a concept is anything that can be asserted to be true or false in a given knowledge representation. Therefore, a concept naturally divides a set of knowledge representations into two sets: the set of knowledge representations where the concept holds and the set where it does not.