Die extensionale Identität bezeichnet eine Identität unter bestimmten Bedingungen der gegebenen Ausdrücke, die die Eigenschaften extensional und umfangsgleich erfüllen.
Als äquipollent bezeichnet man in der traditionellen Logik umfangsgleiche, oder moderner: extensionsgleiche Begriffe, d. h. Begriffe, die dieselbe Extension, aber unterschiedliche Intensionen besitzen.