N-áris műveletek/operátorok azonosnak tekinthetőek N+1-es relációknak?

Az általad felvetett összeadásra vonatkozó reláció helyes, de az általános bioperátorokra vonatkozó állításod nem teljesen pontos.

Az összeadás esetében a reláció, amit leírtál, helyesen jellemzi az összeadás műveletét. Tehát igaz, hogy az összeadás egy olyan reláció, amelyben a C értéke az A és B értékek összege.

Azonban az általad említett általános bioperátorok esetében nem mindig igaz, hogy azok N+1-es relációk lennének. Az általános bioperátorok lehetnek unáris (egyoperandusú), bináris (kéoperandusú) vagy akár többoperandusú műveletek is.

Például a negáció (unáris operátor) nem egy N+1-es reláció, mivel csak egy operandust használ. Tehát nem feleltethető meg N+1-es relációnak.

Azonban a bináris operátorok, mint például az összeadás, kivonás, szorzás stb., valóban leírhatók N+1-es relációként, ahol N az operandusok száma. Tehát igaz lehet az állítás, hogy ezek az operátorok N+1-es relációként tekinthetőek.