Tag ampere’s circuital law definitions