hukum agraria keseluruhan kaidah hukum, baik tertulis maupun tidak tertulis yang mengatur agraria; hukum yang mengatur tentang pemanfaatan bumi, air, dan ruang angkasa