Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with biderivation, namely binary operation that is derivation in each argument, here begun, an eye toward geometry corresponding B-varieties. Foundational results about extending biderivations to localisations, algebraic extensions and transcendental are established. Resolving ...