इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें तब \\ mathfrak को étale या पृथक् करने योग्य कहा जाता है यदि \\ mathfrak \\ otimes -- \\ bar \\ cong \\ bar \\ times... \\ times \\ bar.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "तब \\ mathfrak को étale या अलग करने योग्य कहा जाता है यदि \\ mathfrak \\ otimes -- \\ bar \\ cong \\ bar \\ times... \\ times \\ bar या समकक्ष रूप से यदि \\ mathrm \\, \\ mathfrak \\ to \\ mathrm \\, K एक étale morphism है। "