Description: Existence of an operation class abstraction (special case). (Contributed by NM, 19-Oct-2004)