Getting Started
Working with ODL
Developer zone
Useful facts
API Reference
Return True if other is a subset of the real numbers.
True
other
True if other is an instance of RealNumbers or Integers False otherwise.
RealNumbers
Integers
>>> real_numbers = RealNumbers() >>> real_numbers.contains_set(RealNumbers()) True