The partial order of two concepts can be defined as: (O1 ,A1) ⊆ (O2 ,A2) ⇐⇒ O1 the states (i.e., us1, us2, , us7) in the attribute set (i.e., {Login}) of Concept 1..