Membership Constraints in Formal Concept Analysis