Relation IS-SERIAL-VALUE-OF

Arity: 2
Axioms:
(= (Inverse Serial-Value) Is-Serial-Value-Of)