kdrag.theories.set
==================

.. automodule:: kdrag.theories.set

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      BigUnion
      Finite
      Injective
      Range
      Set
      Surjective
      complement
      diff
      inter
      is_set
      member
      subset
      union
   
   

   
   
   

   
   
   





.. literalinclude:: ../../kdrag/theories/set.py
   :language: python