Definition (Atomic Concept). The concept C is a unary predicate defined as a pair that can be expressed as C = (XC, YC), where XC ⊆ X is a set of attributes describing the concept, and YC ⊆ Y is the domain of the attributes, YC = ⋃x∈XCYC.
Definition (Atomic Concept). The concept C is a unary predicate defined as a pair that can be expressed as C = (XC, YC), where XC ⊆ X is a set of attributes describing the concept, and YC ⊆ Y is the domain of the attributes, YC = ⋃x∈XCYC.