c – 虚拟成员函数的指针是否具有可比性？

A member function pointer can be set to 0,and provides the operators
== and !=,but only for member function pointers of the same class.

我正在努力理解C 11,§5.10.

在§5.10/ 1中它说

Pointers of the same type (after pointer conversions) can be compared
for equality.

在§5.10/ 2中它说

Otherwise if either is a pointer to a virtual member function,the
result is unspecified.

现在考虑以下测试程序.

#include <cassert>

class ISomeClass
{
public:
   virtual ~ISomeClass() {}

   virtual void a() = 0;
   virtual void b() = 0;
};

int main()
{
   typedef void(ISomeClass::*MemberPtr)();

   MemberPtr mp = &ISomeClass::a;

   assert( mp == &ISomeClass::a );
   assert( mp != &ISomeClass::b );

   return 0;
}

根据标准,断言是真的还是未指定的？