Description: The domain of an operation class abstraction is a relation. (Contributed by NM, 17-Mar-1995)