Property abstract tag sponsored by:

Fundamentals of Abstract Analysis