Description: Two classes which are in a partial order relation are not equal. (Contributed by AV, 13-Mar-2023)