nLab
twosets20170617

<rdf:RDF><cc:Work rdf:about=''><dc:format>image/svg+xml</dc:format><dc:type rdf:resource='http://purl.org/dc/dcmitype/StillImage'></dc:type><dc:title></dc:title></cc:Work></rdf:RDF>7 { } { s,t } t ! s,t s s t,t s s s,t s s t,t t