Keyword: Membership relations