Definition:Greatest Common Divisor/Also defined as

Greatest Common Divisor: Also defined as
Some sources gloss over the fact that at least one of $a$ and $b$ must be non-zero.

Some sources insist that both $a$ and $b$ be non-zero or strictly positive.