What rule is shared by semantic and formal iḍāfah?

Al-Majrūrāt — Semantic and Formal Iḍāfah

• Mudāf is always nominative
• Both always produce definiteness
• The mudāf ilayh is genitive
• Both contain an overt preposition