subset aspect of set, 13 assertions

IsA 1
set 0.25