У нас есть однозначное соответствие между двумя наборами сущностей E1 и E2 с общим участием E1, и предположим, что E1 и E2 имеют m и n кортежей соответственно, затем в соответствии с мне, m<=n должно быть верно, но источник, на который я ссылаюсь, говорит, что m>=n должен иметь место. Я так думаю, потому что E2 должно иметь как минимум столько же кортежей, сколько E1, чтобы удовлетворить отношение один к одному и общее ограничение участия E1.