помогите срочно надо пожалуйста

Х множество людей. на Х*Х задано бинарное отношение М : принадлежит М. если х является матерью у. Известно что принадлежит М и принадлежит М/ верно ли утверждение принадлежит М