Provides a symbol set for describing relations between ordered pairs
