 Basic Law V also correctly implies the Principle of Extensionality. This principle asserts that if two extensions have the same members, they are identical. Let us define ‘\(x\) is an extension’ as follows: