The Compatible Subcontext of a Formal Context Determined by the Condition(α)

According to the arrow relations defined in the reference[2],we define the compatible subcontext of a formal context determined by the condition(α),and reveal its two representation theorems.