The algebra A is called a pre-C^*-algebra if it satisfies all conditions to be a C^*-algebra except that its norm need not be complete.