@prefix ex: <https://example.com/sets/> .
@prefix set: <https://ontology.inferal.com/modules/sets/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

ex:primary-colors
    a set:Set ;
    rdfs:label "Primary colors" ;
    set:cardinality 3 ;
    set:hasMembership ex:primary-red-membership, ex:primary-green-membership, ex:primary-blue-membership ;
    set:hasMember ex:red, ex:green, ex:blue .

ex:primary-red-membership
    a set:Membership ;
    set:inSet ex:primary-colors ;
    set:member ex:red .

ex:primary-green-membership
    a set:Membership ;
    set:inSet ex:primary-colors ;
    set:member ex:green .

ex:primary-blue-membership
    a set:Membership ;
    set:inSet ex:primary-colors ;
    set:member ex:blue .

ex:empty-set
    a set:Set ;
    rdfs:label "Empty set" ;
    set:cardinality 0 .