@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix daml: <http://www.daml.org/2000/10/daml-ont#>.
@prefix nph:  <http://www.w3.org/2001/04/18/noun-phrase-names#>.
@prefix :     <http://www.w3.org/2001/04/18/set#>.

:Set a rdf:class.

:enumeration a rdf:property;  
    rdfs:domain :Set;
    rdfs:range daml:list;
    nph:propname "an enumeration";
    nph:name "The relationship a mathematical set of things has to each list which contains has exactly the same things (in any order, with possible duplicates)".

:element a rdf:property;
    rdfs:domain :Set;
    rdfs:range daml:thing;
    nph:propname "an element";
    nph:name "The relationship a mathematical set of things has to each of the things in it".
    
:in a rdf:property.
    # inverse of :element

# :subset
# :superset
#:propersubset
# :propersuperset