From professional translators, enterprises, web pages and freely available translation repositories.
um novo superconjunto da fonte de alimentação atx original agora é definido e denominado "atx12v."
a new superset of the original atx power supply is now defined and called, "atx12v."
possuem sempre subconjuntos recursivos; por outro lado, conjuntos simples existem mas não têm um superconjunto recursivo co-infinito.
sets have always infinite recursive subsets; but on the other hand, simple sets exist but do not have a coinfinite recursive superset.
===systemverilog===systemverilog é um superconjunto de verilog-2005, com novas características e capacidades para auxiliar o projeto e a sua verificação.
===systemverilog===systemverilog is a superset of verilog-2005, with many new features and capabilities to aid design verification and design modeling.
\<ahelp hid=\"hid_sma_xnsupseteqy\"\>use este ícone para inserir o operador de conjunto \<emph\>não é superconjunto ou igual\</emph\> com dois espaços reservados.\</ahelp\> outra opção é digitar \<emph\><?>nsupseteq<?> \</emph\>na janela comandos.
\<ahelp hid=\"hid_sma_xnsupseteqy\"\>use this icon to insert the \<emph\>not superset or equal\</emph\> set operator with two placeholders.\</ahelp\> instead of this you can type \<emph\><?>nsupseteq<?> \</emph\>in the commands window.