Ε-R diagram with conditions , is it possible?
This can be expressed in a one to many relationship with a 0..5 end:

LibraryPatron 1 &lt;----> 0..5 BorrowedBook  

Using relational algebra they can be expressed using check constraints as Renzo suggested.   Some ER tools may also allow you to express this as a constraint.