DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   sound
      1. audio.
      2. <logic> An inference system A is sound with respect to
      another system B if A can only reach conclusions which are
      true in B.  A type inference system is considered sound with
      respect to a semantics if the type inferred for an
      expression is the same as the type inferred for the meaning of
      that expression under the semantics.
      The dual to soundness is completeness.
      (1995-03-01)