Rumusan asas yang menjadi hukum; aturan yang sudah pasti; patokan; dalil (dalam matematika)