Définitionsmensurable