En la formulación axiomática de Callen se expresa como: