プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
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.