property type

a binary fact type that is a purely mathematical mapping from an object class, called the domain, to an object class, called the range.